作　　者：Michael R. A. Huth

出　　处：Logical Methods in Computer Science. 2005 ;1(1).

出 版 社：Technical University of Braunschweig

文 章 ID：41929658