Hans Kleine Büning Ulrich Löwen Stefan Schmitgen Loop Detection in Propositional Prolog Programs. 148-165 1988 conf/csl/1988 CSL db/conf/csl/csl88.html#BuningLS88 http://dx.doi.org/10.1007/BFb0026300