On Safe Folding

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle. On Safe Folding. In Maurice Bruynooghe, Martin Wirsing, editors, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28, 1992, Proceedings. Volume 631 of Lecture Notes in Computer Science, pages 172-186, Springer, 1992.

Abstract

Abstract is missing.