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,
}











