安娜·齐安波里尼;伊芙琳娜·拉姆;塞萨尔·斯特凡内利;梅洛，保拉 通过多标题子句实现基于黑板和对象的系统。 （英语） Zbl 0888.68030号 计算。Artif公司。因特尔。 16，第4期，401-423（1997）.MSC公司：68N17号 68甲15 68层35 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ciampolini｝等人，计算。Artif公司。智力。16，第4号，401--423（1997；Zbl 0888.68030）
乌戈·蒙塔纳里 真正的并发：理论与实践。 （英语） Zbl 0796.68092号 Bird，Richard S.（编辑）等人，《程序构造的数学》。第二届国际会议，英国牛津，1992年6月29日至7月3日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。669, 14-17 (1993). 审核人：U.Montanari（比萨） MSC公司：2010年第68季度 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}，莱克特。注释计算。科学。669，14--17（1993；Zbl 0796.68092）
金，再见;李桑浩;Maeng、Seung Ryoul;Cho，Jung Wan先生 一种新的包含测试算法。 （英语） Zbl 0862.68098号 新一代计算机技术研究所（编辑），第五代计算机系统1992。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。643-649 (1992).MSC公司：68吨15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}等人，1992年：第五代计算机系统。92年FGCS国际会议。日本1992年，第2卷。阿姆斯特丹：IOS出版社。643-649（1992年；兹bl 0862.68098）
安东尼奥·布罗吉;安娜·齐安波里尼;伊芙琳娜·拉姆;保罗·梅洛 基于多标题子句的分布式逻辑编程模型的实现。 （英语） Zbl 0772.68016号 Inf.流程。莱特。 42，第6331-338号（1992年）.MSC公司：68N17号 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi}等人，《信息处理》。莱特。42，No.6，331--338（1992；Zbl 0772.68016） 全文： 内政部
Jean-Marie雅克 Conclog：并发逻辑编程的方法论方法。 （英语） Zbl 0784.68001号 计算机科学课堂讲稿. 556. 柏林等：Springer-Verlag。十三、 第781页（1991年）。 审核人：Ch.Posthoff（圣奥古斯丁） MSC公司：68-01 68N17号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Jacquet}，Conclog：并发逻辑编程的方法论方法。柏林等：Springer-Verlag（1991；Zbl 0784.68001）
Kazunori上田 保护喇叭条款。 （英语） Zbl 0771.68037号 马萨诸塞州剑桥：麻省理工学院出版社；东京：东京大学，信息工程课程，VI，161页（1988年）。MSC公司：68N17号 68T99型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda}，Guarded Horn子句。马萨诸塞州剑桥：麻省理工学院出版社；另：东京大学信息工程课程（1988；Zbl 0771.68037）
Koichi Furukawa;Kazunori上田 GHC—一种用于并行编程新时代的语言。 （英语） Zbl 0667.68015号 软件技术和理论计算机科学基础。第八届会议，普纳/印度，1988年，法律。注释计算。科学。第338、364-376页（1988年）。MSC公司：68号01 68吨15 68N25号 PDF格式BibTeX公司 XML格式
村上春树，Masaki 证明保护Horn子句程序的部分正确性。 （英语） Zbl 0649.68014号 逻辑编程，程序。第六届会议，东京/日本。1987年，Lect。注释计算。科学。315, 215-235 (1988).MSC公司：60年第68季度 68吨15 68N25号 PDF格式BibTeX公司 XML格式
杨蓉;艾索、希德奥 P-Prolog：一种基于互斥关系的并行逻辑语言。 （英语） Zbl 0614.68021号 新一代计算。 5, 79-95 (1987).MSC公司：68N25号 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛R.Yang｝和\textit｛H.Aiso｝，新一代计算机。5、79-95（1987年；Zbl 0614.68021） 全文： 内政部
Eiichi后藤（编辑） 软件科学和技术中的数学方法。1985年10月4日至6日，在京都大学数学科学研究所举行的研讨会论文集。 （英语） Zbl 0641.68002号 RIMS Kokyuroku公司, 586. 京都：京都大学，数学科学研究所。四、 第329页（1986年）。MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式
M.V.Hermenegildo。;纳斯尔，R.I。 有效管理AND并行中的回溯。 （英语） Zbl 0598.68020号 逻辑编程，程序。第三届国际会议，伦敦，1986年，Lect。注释计算。科学。225, 40-54 (1986). 审核人：N.Curteanu公司 MSC公司：68N25号 68瓦30 68T20型 PDF格式BibTeX公司 XML格式
杨蓉;艾索、希德奥 P-prolog：一种基于互斥关系的并行逻辑语言。 （英语） Zbl 0595.68010号 逻辑编程，程序。第三届国际会议，伦敦，1986年，Lect。注释计算。科学。225, 255-269 (1986).MSC公司：68号01 68N25号 PDF格式BibTeX公司 XML格式
罗尔夫·哈特维格 U.ber sprachiche Ausdrucksmittel zur syntaktischen Beherrschung der Val quivalenz von Folgen simultaner Wertzuweisungen and indizierte Variablen。 （德语） Zbl 0462.68061号 Elektron公司。通知-藜芦。凯伯内提克 17, 39-60 (1981).MSC公司：68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hartwig}，Elektron公司。Informationsverarbeitung Kybernetik 17，39--60（1981；Zbl 0462.68061）