作　　者：Paweł Parys

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:210-223.doi:10.4204/EPTCS.96.16

出 版 社：Open Publishing Association

文 章 ID：83120598

作　　者：Paweł Parys

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;293:7-27.doi:10.4204/EPTCS.293.2

出 版 社：Open Publishing Association

文 章 ID：1033557694

作　　者：Karoliina Lehtinen ;Paweł Parys ;Sven Schewe 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：1038046935