Abstract

FORT is a decision and synthesis tool for the first-order theory of rewriting for finite left-linear right-ground rewrite systems. We report on an extension that distinguishes between ground and open terms for properties related to confluence.

BibTeX

@inproceedings{FRAM-IWC16,
 author    = "Franziska Rapp and Aart Middeldorp",
 title     = "Confluence Properties on Open Terms in the First-Order
              Theory of Rewriting",
 booktitle = "Proceedings of the 5th International Workshop on Confluence",
 editor    = "Beniamino Accattoli and Ashish Tiwari",
 pages     = "26--30",
 year      = 2016
}