作 者:Martin Grohe ;Goetz Schwandtner
出 处:Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:4)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47109792