沃伊切赫,切尔文斯基;克莱尔·大卫;菲利普·莫拉克;帕里斯(Pawe Parys) 推理树结构数据的完整性约束。 (英语) Zbl 1392.68166号 理论计算。系统。 62,第4期,941-976(2018).MSC公司:第68页第15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,理论计算。系统。62,第4号,941--976(2018;Zbl 1392.68166) 全文: 内政部 链接
Mikołaj博扬奇克;菲利普·莫拉克;亚当·维特科夫斯基 通过有界clique-width包含一元数据日志程序。 (英语) Zbl 1440.68054号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:施普林格。莱克特。注释计算。科学。9135, 427-439 (2015).MSC公司:第68页,共15页 03B70号 68N17号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人,莱克特。注释计算。科学。9135427--439(2015;Zbl 1440.68054) 全文: 内政部