@inproceedings{CADE-2015-JacquemardKS,
author = "Florent Jacquemard and Yoshiharu Kojima and Masahiko Sakai",
booktitle = "{Proceedings of the 25th International Conference on Automated Deduction}",
doi = "10.1007/978-3-319-21401-6_9",
isbn = "978-3-319-21400-9",
pages = "137--151",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies}",
volume = 9195,
year = 2015,
}
Tags: