author = {Temur Kutsia and Mircea Marin},}
title = {{Matching of Order-Sorted Terms with Regular Expression Sorts and Second-Order Variables }},
booktitle = {{Proc. SCSS 2009}},
language = {english},
pages = {--},
isbn_issn = {-},
year = {2009},
editor = {Adel Bouhoula and Tetsuo Ida},
refereed = {yes},
length = {0}