1991
An analysis of loop checking mechanisms for logic programs
Publication
Publication
Theoretical Computer Science , Volume 86 - Issue 1 p. 35- 79
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Organisation | Networks and Optimization |
Bol, R. N., Apt, K., & Klop, J. W. (1991). An analysis of loop checking mechanisms for logic programs. Theoretical Computer Science, 86(1), 35–79. |