作　　者：Victor Magron ;Xavier Allamigeon ;Stéphane Gaubert 等

出　　处：Journal of Formalized Reasoning. 2015 ;8(1):1-24.doi:10.6092/issn.1972-5787/4319

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：101781435

作　　者：Xavier Allamigeon ;St{\'e}phane Gaubert ;E}ric Goubault

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:47-58.doi:10.4230/LIPIcs.STACS.2010.2443

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

文 章 ID：186845630

作　　者：Xavier Allamigeon ;Ricardo D. Katz ;Pierre-Yves Strub

出　　处：Logical Methods in Computer Science. 2022 ;18(2):1-23.doi:10.46298/lmcs-18(2:10)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046973