@inproceedings{5ca092b7038b4466acef5de34e0d8922,
title = "Order-Sorted Unification with Regular Expression Sorts",
author = "Teimuraz Kutsia and Mircea Marin",
year = "2010",
language = "English",
isbn = "978-3-939897-18-7",
volume = "6",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik",
pages = "193--208",
editor = "{Christopher Lynch}",
booktitle = "Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010",
}