ML Anthology

Bachmair, Leo

1 publications

IJCAI 1995 Experiments with Associative-Commutative Discrimination Nets Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin