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

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

出 版 社：Technical University of Braunschweig

文 章 ID：49467262

作　　者：Sebastian Brandt ;Diego Calvanese ;Elem G{"u}zel Kalayci 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-15.doi:10.4230/LIPIcs.TIME.2019.7

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

文 章 ID：240116382

作　　者：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