作 者:Aaron Stump ;Vilhelm Sjöberg ;Stephanie Weirich
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;43:76-93.doi:10.4204/EPTCS.43.6
出 版 社:Open Publishing Association
文 章 ID:83120090
作 者:Vilhelm Sjöberg ;Aaron Stump
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;45:90-100.doi:10.4204/EPTCS.45.7
出 版 社:Open Publishing Association
文 章 ID:83120102
作 者:Chris Casinghino ;Vilhelm Sjöberg ;Stephanie Weirich
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;76:25-39.doi:10.4204/EPTCS.76.4
出 版 社:Open Publishing Association
文 章 ID:83120455
作 者: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