discrimination nets and fast term rewriting (1993)

by J Christian, ‘Flatterms
Venue:J. Automatic Reasoning