作　　者：Joseph Boudou ;Mart{\'i}n Di{\'e}guez ;David Fern{\'a}ndez-Duque

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:14:1-14:17.doi:10.4230/LIPIcs.CSL.2017.14

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

文 章 ID：200735080

作　　者：Felicidad Aguado ;Pedro Cabalar ;Mart{\'i}n Di{\'e}guez 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:290-300.doi:10.4230/LIPIcs.ICLP.2012.290

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

文 章 ID：186846122

作　　者：Mart{\'i}n Di{\'e}guez

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:445-450.doi:10.4230/LIPIcs.ICLP.2012.445

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

文 章 ID：186846136