沃尔克·迪克特;曼弗雷德·库夫莱特纳 无限单词上的一阶逻辑片段。 （英语） 兹比尔1258.03045 理论计算。系统。 48，第3期，486-516（2011）.MSC公司：05年3月 03B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.Diekert｝和\textit｛M.Kufleitner｝，理论计算。系统。48，第3号，486--516（2011；Zbl 1258.03045） 全文： 内政部 链接
埃西克，Z。 公理化正则树语言的等式理论。 （英语） Zbl 1184.68315号 J.日志。阿尔盖布。程序。 79，第2期，189-213（2010）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.埃西克}，J.Log。阿尔盖布。程序。79，第2号，189--213（2010；Zbl 1184.68315） 全文： 内政部
Mikołaj博扬奇克;托马斯·伊齐亚塞克 无限森林代数及其在时序逻辑EF中的应用。 （英语） Zbl 1254.68158号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710131-145（2009）。MSC公司：70年第68季度 03B44号 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}和\textit{T.Idziaszek}，莱克托。注释计算。科学。5710131-145（2009年；Zbl 1254.68158） 全文： 内政部
托马斯·普莱斯 等级树语言上逻辑的特征。 （英语） Zbl 1156.03328号 卡明斯基，迈克尔（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。《计算机科学讲义》5213401-415（2008）。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Place}，左侧。注释计算。科学。5213、401--415（2008年；Zbl 1156.03328） 全文： 内政部