Symbolic finite differencing - part i (1990)

by R Paige
Venue:In ESOP’90, volume 432 of LNCS