Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura. On Deforesting Parameters of Accumulating Maps. In Alberto Pettorossi, editor, Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Volume 2372 of Lecture Notes in Computer Science, pages 46-56, Springer, 2001. [doi]
Abstract is missing.