BachmairCRAC95'

BibTeX

@inproceedings{DBLP:conf/ijcai/BachmairCRAC95,
  author    = {Leo Bachmair and
               Ta Chen and
               I. V. Ramakrishnan and
               Siva Anantharaman and
               Jacques Chabin},
  title     = {Experiments with Associative-Commutative Discrimination
               Nets},
  booktitle = {IJCAI},
  year      = {1995},
  pages     = {348-355},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}