作 者:Ferrante Alessandro ;Aniello Murano ;Mimmo Parente
出 处:Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:1)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109798
作 者:Marta De Angelis ;Angelo Gaeta ;Francesco Orciuoli 等
出 处:Je-LKS. 2019 ;15(3):287-300.doi:10.20368/1971-8829/1135032
出 版 社:Casalini Libri
文 章 ID:249409434