塞巴斯蒂安·范·维利杰曼;范·韦弗伦，阿尔扬;史蒂文·克鲁塞纳;威尔科·科恩;Oei、Liang;罗兰·波尔;范德杜恩·肖滕（Frank van der Duyn Schouten）;沃斯·德瓦尔（Vos de Wael）、斯特凡（Stefan） 其他四例的上皮瘤。 （英语） Zbl 0920.68073号 Van Vlijmen，Sebastiaan（编辑），ENTCS。研究项目。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。21，第8号电子文件，（1999年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.van Vlijmen}等人，in：ENTCS。研究项目。阿姆斯特丹：爱思唯尔。电子文件编号8（1999；Zbl 0920.68073） 全文： 链接
罗兰·波尔;拉尔斯·德杰斯特德 基础良好的语义的表格式解析。 （英语） Zbl 0905.68024号 J.日志。程序。 34，第2期，67-109（1998年）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bol}和\textit{L.Degerstedt}，J.Log。程序。34，第2号，67--109（1998；Zbl 0905.68024） 全文： 内政部
马克·贝泽姆;罗兰·波尔;格罗特，扬·弗里索 构造演算中过程代数验证的形式化。 （英语） Zbl 0868.68078号 正式Asp。计算。 9，第1期，1-48页（1997年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人，《正式阿斯伯格》。计算。9，第1号，1--48（1997；Zbl 0868.68078） 全文： 内政部
罗兰·波尔;简·弗里斯科·格罗特 过渡系统规范中否定前提的含义。 （英语） 兹伯利0889.68113 美国临床医学杂志 43，第5期，863-914（1996）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bol}和\textit{J.F.Groote}，J.ACM 43，第5期，863--914（1996；Zbl 0889.68113） 全文： 内政部 链接 链接
博尔，R.N。 逻辑编程中的循环检查。 （英语） Zbl 0838.68013号 CWI拖拉机. 112. 阿姆斯特丹：CWI。第198页（1995年）。 审核人：U.Schöning（乌尔姆） MSC公司：68N17号 68-02 68宽10 03B70型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Bol}，逻辑编程中的循环检查。阿姆斯特丹：CWI（1995；Zbl 0838.68013）
Krzysztof R.阿普特。;罗兰·博尔。 逻辑编程与否定：一项调查。 （英语） Zbl 0942.68518号 J.日志。程序。 19-20, 9-71 (1994).MSC公司：68甲15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{R.N.Bol}，J.Log。程序。19-20、9-71（1994；Zbl 0942.68518） 全文： 内政部 链接
巴顿，J.C.M。;J.A.伯格斯特拉。;博尔，R.N。 实时流程逻辑。 （英语） 兹比尔0949.68538 Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。827, 30-47 (1994).MSC公司：60年第68季度 03B70型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，Lect。注释计算。科学。827，30--47（1994；Zbl 0949.68538）
罗兰·波尔 部分演绎中的循环检查。 （英语） Zbl 0780.68012号 J.日志。程序。 16，第1-2、25-46号（1993年）. 审核人：罗兰·波尔 MSC公司：68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Bol}，J.Log。程序。16，编号1--2，25-46（1993；Zbl 0780.68012） 全文： 内政部 链接
罗兰·博尔。 循环检查和否定。 （英语） 兹比尔0825.68285 J.日志。程序。 15，第1-2号，第147-175页（1993年）.MSC公司：68N17号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Bol}，J.Log。程序。15，编号1--2，147--175（1993；Zbl 0825.68285） 全文： 内政部
罗兰·博尔。 逻辑编程中循环检查的一般完整性结果。 （英语） Zbl 0771.68034号 西奥。计算。科学。 104，第1期，3-28页（1992年）. 审核人：O.Štěpánková（普拉哈） MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \文本｛R.N.Bol｝，Theor。计算。科学。104，第1号，第3--28号（1992；Zbl 0771.68034） 全文： 内政部
罗兰·博尔。 循环检查和否定。 （英语） Zbl 0797.68104号 Eijck，Jan van（编辑），《人工智能中的逻辑》，欧洲研讨会JELIA’90，荷兰阿姆斯特丹，1990年9月10日至14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。478, 121-138 (1991).MSC公司：68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Bol}，莱克特。注释计算。科学。478121--138（1991年；Zbl 0797.68104）
罗兰·博尔。;Krzysztof R.阿普特。;扬·威廉·克鲁普 逻辑程序的循环检查机制分析。 （英语） Zbl 0741.68027号 西奥。计算。科学。 86，第1期，35-79（1991）. 审核人：P.ŠtěPánek（普拉哈） MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Bol}等人，Theor。计算。科学。86，编号1，35--79（1991；Zbl 0741.68027） 全文： 内政部
罗兰·波尔;Jan Friso，格鲁特 过渡系统规范中否定前提的含义。 （英语） Zbl 0796.68142号 自动化、语言和编程、Proc。第18国际学院，马德里/西班牙，1991年，法律。注释计算。科学。510, 481-494 (1991).MSC公司：60年第68季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bol}和\textit{J.F.Groote}，莱克特。注释计算。科学。510、481--494（1991年；Zbl 0796.68142）