Flatterms, Discrimination Nets, and Fast Term rewriting (1993)

by J Christian
Venue:Journal of Automated Reasoning