CoCo 2019 Participant: CSI 1.2.3
Bertram Felgenhauer, Aart Middeldorp, and Fabian MitterwallnerJoint Proceedings of the 10th Workshop on Higher-Order Rewriting (HOR 2019) and the 7th International Workshop on Confluence (IWC 2019), pp. 54, 2019.
Abstract
We describe CSI 1.2.3, a confluence tool which participated in the International Confluence Competition 2019.
BibTeX
@inproceedings{BFAMFM-IWC19,
author = "Bertram Felgenhauer and Aart Middeldorp and
Fabian Mitterwallner",
title = "{CoCo} 2019 Participant: {CSI} 1.2.3",
booktitle = "Joint Proceedings of the 10th Workshop on Higher-Order
Rewriting and the 8th International Workshop on Confluence",
editor = "Mauricio Ayala-Rinc{\'o}n and Silvia Ghilezan and
Jakob Grue Simonsen",
pages = 54,
year = 2019
}