作　　者：Udi Boker ;Denis Kuperberg ;Karoliina Lehtinen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-13.doi:10.4230/LIPIcs.FSTTCS.2020.41

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

文 章 ID：257805111

作　　者：Michalewski, Henryk ;Skrzypczak, Michał ;Mio, Matteo

出　　处：Logical Methods in Computer Science. 2018 ;14(2).doi:10.23638/LMCS-14(2:2)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1021277420

作　　者：Clemente, Lorenzo ;Skrzypczak, Michał

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;198.doi:10.4230/LIPIcs.ICALP.2021.126

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

文 章 ID：1037088376

作　　者：Niwiński, Damian ;Skrzypczak, Michał

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;202.doi:10.4230/LIPIcs.MFCS.2021.81

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

文 章 ID：1037088626