作　　者：Till Mossakowski ;Markus Roggenbach ;Lutz Schröder

出　　处：Electronic Communications of the EASST. 2013 ;62.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465710

作　　者：Lutz Schröder

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:17)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109811

作　　者：Victor Gutierrez-Basulto ;Jean Christoph Jung ;Carsten Lutz 等

出　　处：Journal of Artificial Intelligence Research. 2017 ;58:1-66.

出 版 社：American Association of Artificial

文 章 ID：216537523

作　　者：Nathan Bowler ;Sergey Goncharov ;Paul Levy 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692028