Automatic autoprojection of higher-order recursive equations. Science of Computer Programming (1991)

by Anders Bondorf
Venue:Special issue on ESOP'90, the Third European Symposiumon Programming