Steven Eker
Fast matching in combinations of regular equational theories
WRLA, 1996.
@article{RWLW-1996-Eker, author = "Steven Eker", doi = "10.1016/S1571-0661(04)00035-0", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "90--109", title = "{Fast matching in combinations of regular equational theories}", volume = 4, year = 1996, }