Leo Bachmair Ta Chen I. V. Ramakrishnan Siva Anantharaman Jacques Chabin Experiments with Associative-Commutative Discrimination Nets. 348-355 1995 conf/ijcai/1995 IJCAI db/conf/ijcai/ijcai95.html#BachmairCRAC95