CoCo 2017 Participant: CSI 1.1

Bertram Felgenhauer, Aart Middeldorp, and Julian Nagele
Proceedings of the 6th International Workshop on Confluence (IWC 2017),   pp. 76, 2017.

abstract   BibTeX   PDF