作　　者：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

作　　者：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

作　　者：Harley Eades III ;Aaron Stump ;Ryan McCleeary

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:2)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692246

作　　者：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

作　　者：Aaron Stump

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;307:55-67.doi:10.4204/EPTCS.307.6

出 版 社：Open Publishing Association

文 章 ID：1034980427