作　　者：Stéphane Demri

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;39:1-15.doi:10.4204/EPTCS.39.1

出 版 社：Open Publishing Association

文 章 ID：83120049

作　　者：Philippe Darondeau ;Stéphane Demri ;Roland Meyer 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691876

作　　者：Stéphane Demri ;Diego Figueira ;M Praveen

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:1)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692237