作 者:Bart Jacobs ;Jorik Mandemaker
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;95:143-182.doi:10.4204/EPTCS.95.12
出 版 社:Open Publishing Association
文 章 ID:83120443