We introduce a new partial inversion technique for first-order functional programs. Our technique is simple, fully automatic, and (when it succeeds) returns a program that belongs to the same class of the original program, namely the class of inductively sequential programs (i.e., typical functional programs). Therefore, it forms an appropriate basis for developing a practically applicable transformation.
Available: PS PDF Extended version BibTeX-Entry