作　　者：Frédéric Blanqui ;Jean-Pierre Jouannaud ;Albert Rubio

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692114

作　　者：Jean-Pierre Jouannaud ;Jianqi Li

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:350-365.doi:10.4230/LIPIcs.CSL.2012.350

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

文 章 ID：186846170

作　　者：Jean-Pierre Jouannaud ;Jianqi Li

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:257-272.doi:10.4230/LIPIcs.TLCA.2015.257

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

文 章 ID：186846869

作　　者：Jiaxiang Liu ;Jean-Pierre Jouannaud ;Mizuhito Ogawa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:423-440.doi:10.4230/LIPIcs.CSL.2015.423

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

文 章 ID：186847061