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

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

出 版 社：Technical University of Braunschweig

文 章 ID：49467262

作　　者：Ian Pratt-Hartmann ;Lidia Tendera

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.18

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

文 章 ID：238891968

作　　者：Ian Pratt-Hartmann ;Wieslaw Szwast ;Lidia Tendera

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:39:1-39:21.doi:10.4230/LIPIcs.CSL.2016.39

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

文 章 ID：186847955