@inproceedings{rodH08,
author = {J.~Rodr\'{\i}guez-Hortalá},
title = {A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)},
ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1764},projects = {MERIT,PROMESAS},
butype = {},
year = {2008}
}