@inproceedings{EkerAC:03,
  author =	 {Steven Eker},
  title =	 {Associative-Commutative Rewriting on Large Terms},
  booktitle =	 {Rewriting Techniques and Applications (RTA 2003)},
  series =	 {Lecture Notes in Computer Science},
  editor =	 {Robert Nieuwenhuis},
  number =	 {2706},
  pages =	 {14--29},
  year =	 {2003},
  month =	 {June},
  publisher =	 {Springer-Verlag}
}