Maamria, Butler, n.d.. Rewriting and Well-Definedness within a Proof System, in: . EasyChair.. https://doi.org/10.29007/b7wc