作　　者：Marcus Gelderie ;Michael Holtmann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;50:46-60.doi:10.4204/EPTCS.50.4

出 版 社：Open Publishing Association

文 章 ID：83120135

作　　者：Michael Holtmann ;Lukasz Kaiser ;Wolfgang Thomas

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:24)2012

出 版 社：Technical University of Braunschweig

文 章 ID：264691983