作 者:Rasmus Ejlers Møgelberg ;Alex Simpson
出 处:Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:7)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47333306