作　　者：Claudio Sacerdoti Coen ;Silvio Valentini

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;43:65-75.doi:10.4204/EPTCS.43.5

出 版 社：Open Publishing Association

文 章 ID：83120089

作　　者：Claudio Sacerdoti Coen ;Enrico Tassi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;53:16-29.doi:10.4204/EPTCS.53.2

出 版 社：Open Publishing Association

文 章 ID：83120148

作　　者：Claudio Sacerdoti Coen ;Enrico Tassi

出　　处：Journal of Formalized Reasoning. 2008 ;1(1):51-89.doi:10.6092/issn.1972-5787/1334

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489221

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):91-199.doi:10.6092/issn.1972-5787/4651

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489232

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen 等

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:18)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691932

作　　者：Osama Al-Hassani ;Quratul-ain Mahesar ;Claudio Sacerdoti Coen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:38-52.doi:10.4230/LIPIcs.RTA.2012.38

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846075