Aravantinos，V。;卡费拉，R。;北卡罗来纳州佩尔蒂埃。 命题图式的可判定性和不可判定性结果。 （英语） Zbl 1220.68087号 J.阿蒂夫。智力。研究（JAIR） 40599-656（2011年）. 审核人：埃里克·马丁（悉尼） MSC公司：68T20型 03B05号 03B25号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Aravantinos}等人，J.Artif。智力。研究（JAIR）40，599--656（2011；Zbl 1220.68087） 全文： 内政部 arXiv公司
文森特·阿拉万提诺斯;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 命题逻辑的图式演算。 （英语） Zbl 1260.03011号 Giese，Martin（编辑）等人，《使用分析表和相关方法的自动推理》。2009年7月6日至10日，挪威奥斯陆，第18届国际会议，TABLEAUX 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02715-4/pbk）。计算机科学课程讲稿5607。《人工智能课堂讲稿》，32-46（2009）。MSC公司：03B05号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Aravantinos}等人，Lect。注释计算。科学。5607,32-46（2009年；Zbl 1260.03011） 全文： 内政部