@Inproceedings{EPTCS43.4, author = {Maamria, Issam and Butler, Michael}, year = {2010}, title = {Rewriting and Well-Definedness within a Proof System}, editor = {Bove, Ana and Komendantskaya, Ekaterina and Niqui, Milad}, booktitle = {{\rm Proceedings Workshop on} Partiality and Recursion in Interactive Theorem Provers, {\rm Edinburgh, UK, 15th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {43}, publisher = {Open Publishing Association}, pages = {49-64}, doi = {10.4204/EPTCS.43.4}, }