title: Rewriting and Well-Definedness within a Proof System 
creator: Maamria, Issam
creator: Butler, Michael
subject: Provers
subject: Event-B Theory
date: 2010-07
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/21221/
identifier:   Maamria, Issam and Butler, Michael  (2010) Rewriting and Well-Definedness within a Proof System.  In: Partiality and Recursion in Interactive Theorem Provers PAR-10.     
relation: http://deploy-eprints.ecs.soton.ac.uk/294/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>