On the Safe Termination of PROLOG Programs. - Krzysztof R. Apt; Roland N. Bol; Jan Willem Klop (ICLP, 1989)

On the Power of Subsumption and Context Checks. - Roland N. Bol; Krzysztof R. Apt; Jan Willem Klop (DISCO, 1990)

Towards More Efficient Loop Checks. - Roland N. Bol (NACLP, 1990)

An Analysis of Loop Checking Mechanisms for Logic Programs. - Roland N. Bol; Krzysztof R. Apt; Jan Willem Klop (Theor. Comput. Sci., 1991)

Generalizing Completeness Results for Loop Checks in Logic Programming. - Roland N. Bol (Theor. Comput. Sci., 1992)

The Underlying Search for Magic Templates and Tabulation. - Roland N. Bol; Lars Degerstedt (ICLP, 1993)

Loop Checking and Negation. - Roland N. Bol (J. Log. Program., 1993)

Loop checking in partial deduction. - Roland N. Bol (J. Log. Program., 1993)

A Real Time Process Logic. - Jos C. M. Baeten; Jan A. Bergstra; Roland N. Bol (ICTL, 1994)

Logic Programming and Negation: A Survey. - Krzysztof R. Apt; Roland N. Bol (J. Log. Program., 1994)

Automatic Detection of Feature Interactions in Temporal Logic. - Johan Blom; Roland N. Bol; Lars Kempe (FIW, 1995)

Simulating and analyzing railway interlockings in ExSpect. - Twan Basten; Roland N. Bol; Marc Voorhoeve (IEEE Parallel Distributed Technol. Syst. Appl., 1995)

The Meaning of Negative Premises in Transition System Specifications. - Roland N. Bol; Jan Friso Groote (J. ACM, 1996)

Formalizing Process Algebraic Verifications in the Calculus of Constructions. - Marc Bezem; Roland N. Bol; Jan Friso Groote (Formal Aspects Comput., 1997)

Tabulated Resolution for the Well-Founded Semantics. - Roland N. Bol; Lars Degerstedt (J. Log. Program., 1998)