作 者:Véronique Cortier ;Michaël Rusinowitch ;Eugen Zalinescu
出 处:Logical Methods in Computer Science. 2007 ;3(03).doi:10.2168/LMCS-3(3:2)2007
出 版 社:Technical University of Braunschweig
文 章 ID:46838669