Schmalz, Matthias  (2011) Term Rewriting in Logics of Partial Functions.  Proceedings of ICFEM 2011 .       (In Press)  

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