Julien Forest, Delia Kesner
Expression Reduction Systems with Patterns
RTA, 2003.
@inproceedings{RTA-2003-ForestK,
author = "Julien Forest and Delia Kesner",
booktitle = "{Proceedings of the 14th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/3-540-44881-0_9",
editor = "Robert Nieuwenhuis",
isbn = "3-540-40254-3",
pages = "107--122",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Expression Reduction Systems with Patterns}",
volume = 2706,
year = 2003,
}