@inproceedings{eker00matching,
    author = {S. Eker},
    title = {Fast matching in combinations of regular equational theories},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {4},
    publisher = {Elsevier Science Publishers},
    editor = {J. Meseguer},
    year = {2000}
}