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

作　　者：Benjamin Werner

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

出 版 社：Technical University of Braunschweig

文 章 ID：47109803

作　　者：Benjamin Werner ;Arne Traulsen ;Andrea Sottoriva 等

出　　处：Scientific Reports. 2017 ;7(1).doi:10.1038/srep44991

出 版 社：Springer Nature

文 章 ID：235905738