作 者:Konrad K. Dabrowski ;Fran{\c{c}}ois Dross ;Dani{\"e}l Paulusma
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;53:16:1-16:14.doi:10.4230/LIPIcs.SWAT.2016.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847485