马丁·米勒;约阿希姆·尼伦 用二阶一元逻辑表示的特征树上的排序约束。 （英文） Zbl 1046.68645号 Inf.计算。 159，编号1-2，22-58（2000）.MSC公司：68立方英尺 03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Muller}和\textit{J.Niehren}，Inf.Compute。159，编号1--2，22-58（2000；Zbl 1046.68645） 全文： 内政部 链接
Bürckert，汉斯-于尔根;伯恩哈德·霍兰德;阿明·劳克斯 论约束逻辑中的Skolemization。 （英文） Zbl 0887.03005号 安。数学。Artif公司。智力。 18，编号2-4，95-131（1996）.MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Bürckert}等人，《数学年鉴》。Artif公司。智力。18，编号2--4，95-131（1996；Zbl 0887.03005） 全文： 内政部
罗尔夫·巴科芬;格特·斯莫尔卡 一个完整的递归特征理论。 （英文） Zbl 0873.68024号 西奥。计算。科学。 146，编号1-2，243-268（1995）.MSC公司：68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backofen}和\textit{G.Smolka}，Theor。计算。科学。146，编号1--2，243--268（1995；Zbl 0873.68024） 全文： 内政部 arXiv公司
阿尔特·卡奇，哈桑;安德烈亚斯·波德尔斯基;格特·斯莫尔卡 一种包含逻辑编程的特征约束系统。 （英文） Zbl 0801.68023号 西奥。计算。科学。 122，编号1-2，263-283（1994）.MSC公司：68N17号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}等人，Theor。计算。科学。122，编号1--2，263--283（1994；Zbl 0801.68023） 全文： 内政部
约阿希姆·尼伦;安德烈亚斯·波德尔斯基 特征自动机和可识别的特征树集。 （英文） Zbl 1497.68146号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 356-375 (1993).MSC公司：68第05页 08A70号 68甲15 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}和\textit{A.Podelski}，莱克特。注释计算。科学。668356-375（1993年；Zbl 1497.68146） 全文： 内政部
莫里斯·尼瓦特;安德烈亚斯·波德尔斯基 常见子表达式问题的另一种变体。 （英文） Zbl 0787.68071号 离散数学。 114，编号1-3，379-401（1993）. 审核人：M.Steinby（图尔库） MSC公司：65年第68季度 68瓦10 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Nivat}和\textit{A.Podelski}，离散数学。114，编号1--3379--401（1993；Zbl 0787.68071） 全文： 内政部
我·菲利彭科。;莫里斯，F.L。 逻辑编程领域。 （英文） Zbl 0745.68072号 西奥。计算。科学。 94，第1期，63-99（1992）.MSC公司：68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Filippenko}和\textit{F.L.Morris}，Theor。计算。科学。94，编号1，63--99（1992；Zbl 0745.68072） 全文： 内政部 链接
马丁·埃梅尔;雷米·扎贾克 特征类型系统的定点语义。 （英文） Zbl 1507.68174号 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 383-388 (1991).MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Emele}和\textit{R.Zajac}，莱克特。注释计算。科学。516383--388（1991年；Zbl 1507.68174） 全文： 内政部
曼弗雷德·施密特·沙乌;格特·斯莫尔卡 带有补语的定语概念描述。 （英文） Zbl 0712.68095号 Artif公司。智力。 48，第1期，1-26页（1991年）.MSC公司：68立方英尺 65年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{G.Smolka}，Artif。智力。48，第1号，1-26（1991；Zbl 0712.68095） 全文： 内政部
彼得·布内曼;阿希姆·荣格;Atsushi Ohori 使用powerdomains泛化关系数据库。 （英文） Zbl 0799.68064号 西奥。计算。科学。 91，第1期，23-55页（1991年）.MSC公司：第68页，共15页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Buneman}等人，Theor。计算。科学。91，编号1，23--55（1991；Zbl 0799.68064） 全文： 内政部 链接
何塞·梅塞盖尔;约瑟夫·戈根（Joseph A.Goguen）。;格特·斯莫尔卡 有序统一。 （英文） Zbl 0691.0302号 J.塞姆。计算。 第383-413号第8页（1989年）. 审核人：C.马萨拉吉 MSC公司：03B35型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，J.Symb。计算。8，第4号，383--413（1989；Zbl 0691.0302） 全文： 内政部
格特·斯莫尔卡;哈桑·艾特·卡奇 继承层次：语义和统一。 （英文） Zbl 0678.68009号 J.塞姆。计算。 7，编号3-4，343-370（1989）.MSC公司：60年第68季度 68吨15 68瓦30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}和\textit{H.Ait-Kaci}，J.Symb。计算。7，编号3--4，343--370（1989；Zbl 0678.68009） 全文： 内政部