@InProceedings{rta2003:ac,,
    AUTHOR = {Steven Eker},
    TITLE = {Associative-Commutative Rewriting on Large Terms},
    YEAR = {2003},
    PAGES = {14--29},
    MONTH = {June},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1557/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)},
    PUBLISHER = {Springer}
}