Andrew Heaton, Patricia M. Hill, Andy King. Analysis of Logic Programs with Delay. In Norbert E. Fuchs, editor, Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR 97, Leuven, Belgium, July 10-12, 1997, Proceedings. Volume 1463 of Lecture Notes in Computer Science, pages 148-167, Springer, 1997. [doi]
Abstract is missing.