TY  - RPRT
TI  - Layer Systems for Proving Confluence
AU  - Bertram Felgenhauer
AU  - Aart Middeldorp
AU  - Harald Zankl
AU  - Vincent van Oostrom
PY  - 2015
DO  - 10.1145/2710017
UR  - https://arxiv.org/abs/1404.1225
ID  - 1404.1225
ER  -