Springer
Lecture Notes in Computer Science
European Conference on Logics in Artificial Intelligence

Bol, R. N. (1991). Loop checking and negation. In Proceedings of the European Conference on Logics in Artificial Intelligence 1990 (pp. 121–138). Springer.