Rewriting and Well-Definedness within a Proof System

Issam Maamria, Michael J. Butler. Rewriting and Well-Definedness within a Proof System. In Ekaterina Komendantskaya, Ana Bove, Milad Niqui, editors, Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010. Volume 5 of EPiC Series, pages 54-70, EasyChair, 2010. [doi]

@inproceedings{MaamriaB10,
  title = {Rewriting and Well-Definedness within a Proof System},
  author = {Issam Maamria and Michael J. Butler},
  year = {2010},
  url = {http://www.easychair.org/publications/?page=1687387730},
  researchr = {https://researchr.org/publication/MaamriaB10},
  cites = {0},
  citedby = {0},
  pages = {54-70},
  booktitle = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010, Edinburgh, UK, July 15, 2010},
  editor = {Ekaterina Komendantskaya and Ana Bove and Milad Niqui},
  volume = {5},
  series = {EPiC Series},
  publisher = {EasyChair},
}