@inproceedings{LRSrta09,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {A Fully Abstract Semantics for Constructor Based Term Rewriting Systems},
booktitle = {Proc. Int. Conference on Rewriting Techniques and Applications (RTA 2009)},
pages= {},
publisher = {Springer},
series = {LNCS},
volume = {},
projects = {MERIT,PROMESAS,STAMP},
butype = {proceedings},
year = {2009}
}