作　　者：Jonathan Sterling ;Carlo Angiuli ;Daniel Gratzer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-25.doi:10.4230/LIPIcs.FSCD.2019.31

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892318

作　　者：Carlo Angiuli ;Kuen-Bang {Hou ;Robert Harper

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.6

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213281

作　　者：Jonathan Sterling ;Carlo Angiuli ;Daniel Gratzer

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-80.doi:10.46298/lmcs-18(1:43)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046957