加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米夏·皮利普祖克;塞巴斯蒂安·西贝茨;西门托伦奇克 有界展开类的一阶解释。 （英语） Zbl 1446.68094号 ACM事务处理。计算。日志。 21，第4号，第29条，第41页（2020年）.MSC公司：60年第68季度 03B70型 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人，ACM Trans。计算。日志。21，第4号，第29条，第41页（2020年；Zbl 1446.68094） 全文： DOI程序 arXiv公司 链接
加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;米查尔·皮里普祖克;塞巴斯蒂安·西贝茨;西门托伦奇克 有界展开类的一阶解释。 （英语） 兹比尔1499.68202 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第126条，第14页（2018年）。MSC公司：60年第68季度 03B70型 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gajarskí}等人，LIPIcs——莱布尼茨国际程序。通知。107，第126条，第14页（2018；Zbl 1499.68202） 全文： DOI程序