作　　者：David Baelde ;Kaustuv Chaudhuri ;Andrew Gacek 等

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):1-89.doi:10.6092/issn.1972-5787/4650

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489225

作　　者：David Baelde ;St{\'e}phanie Delaune ;Lucca Hirschi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:497-510.doi:10.4230/LIPIcs.CONCUR.2015.497

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

文 章 ID：186847031

作　　者：David Baelde ;Amina Doumane ;Alexis Saurin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:549-566.doi:10.4230/LIPIcs.CSL.2015.549

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

文 章 ID：186847069

作　　者：David Baelde ;Simon Lunel ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:32:1-32:16.doi:10.4230/LIPIcs.CSL.2016.32

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

文 章 ID：186847949

作　　者：David Baelde ;Amina Doumane ;Alexis Saurin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:42:1-42:17.doi:10.4230/LIPIcs.CSL.2016.42

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

文 章 ID：186847958

作　　者：David Baelde ;Anthony Lick ;Sylvain Schmitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-19.doi:10.4230/LIPIcs.FSTTCS.2018.15

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

文 章 ID：230213164