作　　者：Thomas Given-Wilson ;Daniele Gorla ;Barry Jay

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:10)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692133

作　　者：Daniele Gorla ;Ivano Salvo ;Adolfo Piperno

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;300:86-101.doi:10.4204/EPTCS.300.6

出 版 社：Open Publishing Association

文 章 ID：1034958409