@收款{zbMATH05498335，作者={Libkin，Leonid and Sirangelo，Cristina}，Title={用时序逻辑和自动机对{XML}进行推理，BookTitle={编程、人工智能和推理的逻辑。第15届国际会议，LPAR 2008，卡塔尔多哈，2008年11月22日至27日。诉讼}，国际标准图书编号={978-3-540-89438-4}，页码={97--112}，年份={2008}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-89439-1_7}，关键词={68Q60,03B44,68Q45}，URL={www.pure.edac.uk/ws/files/17832666/Libkin_Sirangelo_2008_Reasoning_about_XML_with_Temporal_Logics_and_Automate.pdf}，zbMATH={5498335}，Zbl={1182.68123}}