A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

Takahito Aoto, Yoshihito Toyama. A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems. In Manfred Schmidt-Schauß, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Volume 10 of LIPIcs, pages 91-106, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

@inproceedings{AotoT11,
  title = {A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems},
  author = {Takahito Aoto and Yoshihito Toyama},
  year = {2011},
  doi = {10.4230/LIPIcs.RTA.2011.91},
  url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2011.91},
  tags = {term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AotoT11},
  cites = {0},
  citedby = {0},
  pages = {91-106},
  booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  editor = {Manfred Schmidt-Schauß},
  volume = {10},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-30-9},
}