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 Entry

@inproceedings{ZFM-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",
 series    = "Lecture Notes in Artificial Intelligence",
 volume    = 6803,
 pages     = "499--505",
 year      = 2011,
 doi       = "10.1007/978-3-642-22438-6\_38"
}