作 者:Vilhelm Sjöberg ;Chris Casinghino ;Ki Yung Ahn 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;76:112-162.doi:10.4204/EPTCS.76.9
出 版 社:Open Publishing Association
文 章 ID:83120460
作 者:Garrin KIMMELL ;Aaron STUMP ;Harley D. EADES 等
出 处:Progress in Informatics. 2013 ;(10):19-46.doi:10.2201/NiiPi.2013.10.3
出 版 社:National Institute of Informatics
文 章 ID:217948456
作 者:Aaron Stump ;Garrin Kimmell ;Hans Zantema 等
出 处:Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:4)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264691893
作 者:Aaron Stump ;Garrin Kimmell ;Roba El Haj Omar
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:345-360.doi:10.4230/LIPIcs.RTA.2011.345
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845930