TY  - RPRT
TI  - Level-Confluence of 3-CTRSs in Isabelle/HOL
AU  - Christian Sternagel
AU  - Thomas Sternagel
PY  - 2016
UR  - https://arxiv.org/abs/1602.07115
ID  - 1602.07115
ER  -