Techniques for e#cient empirical induction (1990)

by G I Webb
Venue:In