作　　者：Mauricio Toro-Bermudez

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;7:300-302.doi:10.4230/LIPIcs.ICLP.2010.300

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

文 章 ID：186845752