Matching with Regular Constraints.

Temur Kutsia, Mircea Marin

Browse the full LPAR paper archive.