作　　者：Daria Walukiewicz-Chrzaszcz ;Jacek Chrzaszcz

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:8)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109797

作　　者：Jacek Chrzaszcz ;Aleksy Schubert

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:198-212.doi:10.4230/LIPIcs.CSL.2012.198

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

文 章 ID：186846160

作　　者：Jacek Chrzaszcz ;Aleksy Schubert ;Jakub Zakrzewski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-26.doi:10.4230/LIPIcs.TYPES.2016.8

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

文 章 ID：230213692