作　　者：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

作　　者：Aleksy Schubert ;Pawel Urzyczyn ;Daria Walukiewicz-Chrzaszcz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:251-273.doi:10.4230/LIPIcs.TYPES.2014.251

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

文 章 ID：186847088

作　　者：Marcin Benke ;Aleksy Schubert ;Daria Walukiewicz-Chrzaszcz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:12:1-12:16.doi:10.4230/LIPIcs.FSCD.2016.12

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

文 章 ID：186847444