ML Anthology

Josephson, N. Alan

1 publications

IJCAI 1983 Associative-Commutative Rewriting Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted