TY  - RPRT
TI  - Certifying Confluence Proofs via Relative Termination and Rule Labeling
AU  - Julian Nagele
AU  - Bertram Felgenhauer
AU  - Harald Zankl
PY  - 2017
DO  - 10.23638/lmcs-13(2:4)2017
UR  - https://arxiv.org/abs/1612.07195
ID  - 1612.07195
ER  -