作　　者：Roman Kontchakov ;Ian Pratt-hartmann ;Frank Wolter 等

出　　处：Logical Methods in Computer Science. 2010 ;6(03).

出 版 社：Technical University of Braunschweig

文 章 ID：49467262

作　　者：Jean Christoph Jung ;Carsten Lutz ;Mauricio Martel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:108:1-108:14.doi:10.4230/LIPIcs.ICALP.2017.108

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

文 章 ID：198372062

作　　者：Alessandro Artale ;Roman Kontchakov ;Alisa Kovtunova 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:1:1-1:37.doi:10.4230/LIPIcs.TIME.2017.1

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

文 章 ID：202421994

作　　者：Franz Baader ;Meghyn Bienvenu ;Carsten Lutz 等

出　　处：Journal of Artificial Intelligence Research. 2016 ;56:1-59.

出 版 社：American Association of Artificial

文 章 ID：216537562

作　　者：Frank Wolter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:4-4.doi:10.4230/LIPIcs.CSL.2011.4

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

文 章 ID：186845970

作　　者：Carsten Lutz ;Frank Wolter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:363-379.doi:10.4230/LIPIcs.ICDT.2015.363

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

文 章 ID：186846728