作 者:Laurent Bienvenu ;Rod Downey
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:147-158.doi:10.4230/LIPIcs.STACS.2009.1810
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845537