作　　者：Matthew J. Samuel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;63:226-230.doi:10.4204/EPTCS.63.28

出 版 社：Open Publishing Association

文 章 ID：83120269