author = {Temur Kutsia and Mircea Marin},
title = {{Regular Expression Order-Sorted Unification and Matching}},
language = {english},
journal = {Journal of Symbolic Computation},
volume = {67},
pages = {42--67},
isbn_issn = {ISSN 0747-7171},
year = {2015},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {26},
url = {http://dx.doi.org/10.1016/j.jsc.2014.08.002}