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.
@inproceedings{BossiC96, title = {Replacement Can Preserve Termination}, author = {Annalisa Bossi and Nicoletta Cocco}, year = {1996}, tags = {termination}, researchr = {https://researchr.org/publication/BossiC96}, cites = {0}, citedby = {0}, pages = {104-129}, booktitle = {Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR 96, Stockholm, Sweden, August 28-30, 1996, Proceedings}, editor = {John P. Gallagher}, volume = {1207}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-62718-9}, }