,
elsevier
Theoretical Computer Science
Theoretical Issues of Design and Implementation of Symbolic Computation Systems

Bol, R. N. (1992). Generalizing completeness results for loop checks in logic programming. In Theoretical Computer Science (Vol. 104, pp. 3–28). elsevier.