彼得罗·阿巴特;拉杰夫·戈尔 Tableau工作台。 （英语） Zbl 1347.68297号 Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，55-67（2009）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Abate}和\textit{R.Goré}，电子。注释Theor。计算。科学。231、55-67（2009年；Zbl 1347.68297） 全文： 内政部
科瓦奇、斯雷奇科 一阶信念与超一致性。 （英语） Zbl 1190.03029号 日志。日志。菲洛斯。 18，第2期，127-143（2009）.MSC公司：03B53号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit｛S.Kovač｝，日志。日志。菲洛斯。18，第2号，127--143（2009；Zbl 1190.03029）
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系：意外的嵌入。 （英语） Zbl 1169.03024号 数学。结构。计算。科学。 19，第3期，435-500（2009年）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche}，数学。结构。计算。科学。19，第3号，435--500（2009；Zbl 1169.03024） 全文： 内政部