福斯托·金奇利亚；罗伯托·塞巴斯蒂亚尼 从命题决策过程构建模态逻辑的决策过程：模态\（K（m）\）的案例研究。 （英语） Zbl 1033.03509号 Inf.计算。 162，编号1-2，158-178（2000）.MSC公司：03B45号 03B35型 68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{R.Sebastiani}，Inf.Compute。162，编号1-2158-178（2000年；兹bl 1033.03509） 全文： DOI程序
福斯托·金奇利亚；马可·罗维里；罗伯托·塞巴斯蒂亚尼 一种测试模态逻辑中决策过程的新方法。 （英语） Zbl 1430.68409号 William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 264-267 (1997).MSC公司：68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}等人，Lect。注释计算。科学。1249、264--267（1997年；Zbl 1430.68409） 全文： DOI程序
福斯托·金奇利亚；罗伯托·塞巴斯蒂亚尼 从命题决策过程构建模态逻辑的决策过程——模态K的案例研究。 （英语） Zbl 1415.03022号 McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 583-597 (1996).MSC公司：03B35型 03B25号 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{R.Sebastiani}，莱克特。注释计算。科学。1104583-597（1996年；Zbl 1415.03022） 全文： DOI程序
福斯托·金奇利亚；托比·沃尔什 抽象理论。 （英语） Zbl 0762.68054号 Artif公司。智力。 57，编号2-3，323-389（1992）.MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{T.Walsh}，Artif。智力。57，编号2--3，323--389（1992；Zbl 0762.68054） 全文： DOI程序