@inproceedings{RISC2793,
author = {Temur Kutsia and Mircea Marin},
title = {{Matching with Regular Constraints}},
booktitle = {{Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference LPAR'05}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {3835},
pages = {215--229},
publisher = {Springer Verlag},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-30553-X},
year = {2005},
editor = {G. Sutcliffe and A. Voronkov},
refereed = {yes},
length = {15},
url = {http://www.lpar.net/2005/}
}