Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen. Loop Detection in Propositional Prolog Programs. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 148-165, Springer, 1988.
Abstract is missing.