Annalisa Bossi, Nicoletta Cocco. Replacement Can Preserve Termination. In John P. Gallagher, editor, Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Volume 1207 of Lecture Notes in Computer Science, pages 104-129, Springer, 1996.
Abstract is missing.