@inproceedings{inproceedings, title = {{Constructing rewrite-based decision procedures for embeddings and termination}}, url = {{}}, year = {{2006}}, month = {{1}}, author = {{Struth G}}, volume = {{4014}}, journal = {{MATHEMATICS OF PROGRAM CONSTRUCTION}}, pages = {{416-432}}, note = {{Accessed on 2025/04/07}}}