author = {T. Kutsia and J. Levy and M. Villaret},
title = {{Sequence Unification Through Currying}},
booktitle = {{Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA'07)}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {288--302},
isbn_issn = {ISBN 978-3-540-73447-5},
year = {2007},
editor = {F. Baader},
refereed = {yes},
length = {15}