@inproceedings{RTA-2008-KojimaS,
author = "Yoshiharu Kojima and Masahiko Sakai",
booktitle = "{Proceedings of the 19th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-540-70590-1_13",
editor = "Andrei Voronkov",
isbn = "978-3-540-70588-8",
pages = "187--201",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems}",
volume = 5117,
year = 2008,
}
Tags: