Equational programming (1987)

by N Dershowitz, D A Plaisted
Venue:in Machine Intelligence 11