塞尔吉奥·阿布里奥拉;玛丽亚·艾米丽亚·德斯科特;劳尔·费尔瓦里;圣地亚哥菲格拉 数据树上向下XPath的公理化。 （英语） Zbl 1372.68077号 J.计算。系统。科学。 89, 209-245 (2017).MSC公司：第68页，共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abriola}等人，《计算杂志》。系统。科学。89209-245（2017年；兹比尔1372.68077） 全文： DOI程序 arXiv公司
塞尔吉奥·阿布里奥拉;迭戈·菲格拉;圣地亚哥菲格拉 数据树和分支计数器系统上重复值的逻辑。 （英语） Zbl 1486.68119号 Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10203, 196-212 (2017).MSC公司：68兰特 03B44号 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Abriola｝等人，Lect。注释计算。科学。10203、196--212（2017；Zbl 1486.68119） 全文： DOI程序 哈尔