Abstract

This paper describes a new confluence tool for term rewrite systems. Due
to its modular design, the few techniques implemented so far can be
combined flexibly. Methods developed for termination analysis are adapted
to prove and disprove confluence. Preliminary experimental results
show the potential of our tool.

BibTeX

@inproceedings{HZBFAM-CADE11,
  author    = "Harald Zankl and Bertram Felgenhauer and Aart Middeldorp",
  title     = "CSI -- A Confluence Tool",
  booktitle = "Proceedings of the 23rd International Conference on
               Automated Deduction",
  address   = "Wroclaw",
  series    = "Lecture Notes in Artificial Intelligence",
  volume    = 6803,
  pages     = "499--505",
  year      = 2011
}