安吉洛·蒙塔纳里;阿尔贝托·波利里蒂;斯莱尼娜，马蒂奥 命题逻辑和一阶模态逻辑的替代翻译技术。 （英语） Zbl 1003.03018号 J.汽车。推理 28，第4期，397-415（2002）.MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Autom。推理28，No.4，397--415（2002；Zbl 1003.03018） 全文： 内政部
安吉洛·蒙塔纳里;阿尔贝托·波利里蒂;斯莱尼娜，马蒂奥 局部量化模态逻辑中通过集合论翻译的可导性。 （英语） 兹伯利0996.03013 尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1893, 559-568 (2000).MSC公司：03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Lect。注释计算。科学。1893559-568（2000；Zbl 0996.03013）