作　　者：Seth Fogarty ;Orna Kupferman ;Thomas Wilke 等

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:13)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264691896

作　　者：Seth Fogarty ;Moshe Vardi

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691956

作　　者：Seth Fogarty ;Orna Kupferman ;Moshe Y. Vardi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:248-263.doi:10.4230/LIPIcs.CSL.2011.248

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

文 章 ID：186845987