Experiments with Associative-Commutative Discrimination Nets.

Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin

Browse the full IJCAI paper archive.