A heuristic approach to program inversion.
D. Eppstein.
9th Int. Joint Conf. Artificial
Intelligence, Los Angeles, 1985, pp. 219–221.
Program transformation. Given a (lisp) program for an invertible function, how do we automatically find a program for the inverse function? Considers more general simultaneous inverses of multiple functions. The heuristic part involves type inference for finding conditionals to use in certain if statements.