安德烈亚斯·雷乌;赫尔穆特·塞德尔 （mathcal H_1）-子句的路径、树同态和不定性。 （英语） Zbl 1401.68050号 数学。结构。计算。科学。 28，第10期，1786-1846（2018）.MSC公司：68号30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reuß}和\textit{H.Seidl}，数学。结构。计算。科学。28，第10号，1786-1846（2018年；兹bl 1401.68050） 全文： DOI程序
安德烈亚斯·雷乌;赫尔穆特·塞德尔 跨越句法障碍：\（{\mathcal H}_1\）-子句的互斥性。 （英语） 兹比尔1297.68058 Moreira，Nelma（编辑）等人，《自动机的实现和应用》。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31605-0/pbk）。计算机科学课堂讲稿7381301-312（2012）。MSC公司：68号30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reuß}和\textit{H.Seidl}，莱克特。票据计算。科学。7381301-312（2012；Zbl 1297.68058） 全文： DOI程序
赫尔穆特·塞德尔;安德烈亚斯·雷乌 用不等式扩展\（H_1\）-子句。 （英语） Zbl 1260.68115号 信息处理。莱特。 111，第20号，1007-1013（2011）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{A.Reuß}，Inf.过程。莱特。111，第20号，1007--1013（2011；Zbl 1260.68115） 全文： DOI程序
托马斯·马丁·高利察;赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma） 线性Horn子句的规范化。 （英语） 兹比尔1325.68130 Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，242-257（2011）。MSC公司：65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}等人，Lect。票据计算。科学。6527、242--257（2011；Zbl 1325.68130） 全文： DOI程序
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;洛朗·维格纳龙 具有等式约束的树自动机模方程理论。 （英语） Zbl 1137.68035号 J.日志。阿尔盖布。程序。 75，第2期，182-208（2008）.MSC公司：65年第68季度 03年2月25日 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Jacquemard}等人，J.Log。阿尔盖布。程序。75，第2号，182--208（2008；Zbl 1137.68035） 全文： DOI程序
克里斯托弗·摩尔;加布里埃尔·伊斯特拉特;德米特里厄斯·德莫普洛斯;莫舍·瓦尔迪。 随机Horn-SAT公式可满足性中的连续-不连续二阶跃迁。 （英语） Zbl 1147.68717号 随机结构。算法 31，第2期，173-185（2007）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Moore}等人，《随机结构》。算法31，No.2，173--185（2007；Zbl 1147.68717） 全文： DOI程序
格雷塔·约什;亚历山大·拉比诺维奇;穆利萨吉夫;安托万·梅耶;艾哈迈德·布瓦贾尼 链接数据结构中可访问模式的逻辑。 （英语） 兹比尔1121.03040 J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B70号 03年2月25日 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040） 全文： DOI程序 arXiv公司
莱姆，塞巴斯蒂安;格诺·萨尔泽 从逻辑编程的角度来看，树元组语言。 （英语） Zbl 1113.68038号 J.汽车。推理 37，第4期，323-349（2006）.MSC公司：68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Limet}和\textit{G.Salzer}，J.Autom。推理37，No.4，323--349（2006；Zbl 1113.68038） 全文： DOI程序
让·古鲍特·拉雷克 通过分辨率确定\（\mathcal H_1\）。 （英语） Zbl 1185.68620号 信息处理。莱特。 95，第3期，401-408（2005）.MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}，Inf.过程。莱特。95，第3号，401--408（2005；Zbl 1185.68620） 全文： DOI程序