阿努吉·达瓦尔;马丁·格罗;斯蒂芬·克鲁泽;尼科尔·施韦卡特 模型理论使公式变大。 （英语） Zbl 1171.03324号 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596913-924（2007）。MSC公司：03C07号机组 03C13号机组 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人，Lect。注释计算。科学。45961913-924（2007年；兹bl 1171.03324） 全文： 内政部
马库斯·弗里克;马丁·格罗 确定局部树分解结构的一阶性质。 （英语） Zbl 1323.03014号 美国临床医学杂志 48，第6期，1184-1206（2001）.MSC公司：03B25号 03C07号机组 05二氧化碳 05C75号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Frick｝和\textit｛M.Grohe｝，J.ACM 48，第6号，1184-1206（2001；Zbl 1323.03014） 全文： 内政部 arXiv公司