作　　者：Leonid Libkin

出　　处：Logical Methods in Computer Science. 2006 ;2(03).doi:10.2168/LMCS-2(3:2)2006

出 版 社：Technical University of Braunschweig

文 章 ID：46838635

作　　者：Rajeev Alur ;Marcelo Arenas ;Pablo Barcelo 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：47109816

作　　者：Pablo Barcelo ;Diego Figueira ;Leonid Libkin

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692022

作　　者：Pablo Barcelo ;Leonid Libkin

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692121

作　　者：Pablo Barcel{\'o ;Leonid Libkin ;Juan L. Reutter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:351-362.doi:10.4230/LIPIcs.FSTTCS.2011.351

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

文 章 ID：186845891

作　　者：Diego Figueira ;Leonid Libkin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:518-529.doi:10.4230/LIPIcs.STACS.2014.518

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

文 章 ID：186846480

作　　者：Leonid Libkin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:94-109.doi:10.4230/LIPIcs.ICDT.2015.94

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

文 章 ID：186846712

作　　者：Marco Console ;Paolo Guagliardo ;Leonid Libkin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;127:1-16.doi:10.4230/LIPIcs.ICDT.2019.8

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

文 章 ID：230438525