Maamriaand Butler. Rewriting and Well-definedness Within a Proof System. EasyChair, doi:10.29007/b7wc.