294	  Maamria, Issam and Butler, Michael  (2010) Rewriting and Well-Definedness within a Proof System.  In: Partiality and Recursion in Interactive Theorem Provers PAR-10.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>