Symbolic nite di erencing - part I (1990)

by R Paige
Venue:In Proceedings of the 3rd ESOP