乔瓦尼·卡西尼;翁贝托·斯特拉契亚;托马斯·梅耶 标称安全矩阵的多项式时间包容算法{ELO}（ELO）_\bot\）在有理闭包下。 （英语） Zbl 1453.68177号 信息科学。 501, 588-620 (2019).MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Casini}等人，《信息科学》。501588-620（2019年；Zbl 1453.68177） 全文： 内政部 arXiv公司
劳拉·佐丹奴;杜普雷，丹妮尔·特塞德尔 ASP在合理扩展中实现最小牵连SROEL公司. （英语） Zbl 1379.68294号 理论与实践。日志。程序。 16，编号5-6，738-754（2016）.MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.T.Dupré}，理论与实践。日志。程序。16、编号5--6738--754（2016；Zbl 1379.68294） 全文： 内政部 arXiv公司
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡（Gian Luca），披萨 （mathcal{EL}^\bot）非单调扩张的表演算。 （英语） Zbl 1332.68209号 Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。《人工智能课堂讲稿》，180-195（2011）。MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人，Lect。注释计算。科学。6793、180--195（2011年；Zbl 1332.68209） 全文： 内政部