出版物

定义Sibyl所基于的基本微积分的第一项工作是[1],其中只考虑基本的混合逻辑。在[2]中微积分被扩展到处理全局模态和逆模态，[3]进一步扩展它以处理及物性和关系层次结构，和[4]处理分级模式的情况。中所述终止定理和完备性定理的完整证明[3] 可以在其扩展版本中找到。

1. S.Cerrito，M.Cialdea Mayer。A类基于表的一大类决策过程混合配方与粘合剂。K.Brünnler和G.Metcalfe（编辑）：基于分析表和相关方法的自动推理（TABLEAUX 2011），LNAI 6793，Springer Verlag，第104-118页，2011年。   摘要  草稿
   
   
2. S.Cerrito，M.Cialdea Mayer。基于Tableau的决策过程对于的表达片段带有活页夹、反转和全局模式的混合逻辑。自动推理杂志，51(2):197-239, 2013.    摘要  草稿
   
   
3. M.Cialdea Mayer先生。混合逻辑的一个证明过程活页夹、传递性和关系层次结构。第24届自动扣除会议（CADE 2013），LNCS 7898，施普林格出版社，第76-90页，2013年。   摘要  草稿  勘误表  幻灯片演示演算在行动中    扩展版本。
   
   
4. M.Cialdea Mayer先生。带有粘合剂的HL片段的扩展决策程序。《自动推理杂志》，53（3）：305-3152014。摘要. 草稿. 勘误表.