Automatic autoprojection of higher order recursive equations (1991)

by Anders Bondorf
Venue:Science of Computer Programming, 17 (Selected papers of ESOP ’90, the 3rd European Symposium on Programming