作 者:Michaela Bacikov{\'a ;Jaroslav Porub{\"a}n ;Dominik Lakatos
出 处:OASIcs : OpenAccess Series in Informatics. 2013 ;29:187-202.doi:10.4230/OASIcs.SLATE.2013.187
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848598