作　　者：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 ;Gaelle Fontaine ;Anthony Lin

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692101

作　　者：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 Barcelo ;Marco Calautti

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

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

文 章 ID：230438517