作　　者：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

作　　者：Natalia Nunez ;Aurélie Derré-Bobillot ;Stéphane Gaubert 等

出　　处：Scientific Reports. 2018 ;8(1):1749.doi:10.1038/s41598-018-20206-6

出 版 社：Springer Nature

文 章 ID：230254736

作　　者：Assalé Adjé ;Stéphane Gaubert ;Eric Goubault

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:1)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691941