1. Structures for Abstract Rewriting;Journal of Automated Reasoning;2007-01-25
2. An Abstract Way to Define Rewriting Logic;Electronic Notes in Theoretical Computer Science;2006-05
3. Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems;Applicable Algebra in Engineering, Communication and Computing;2004-06-01
4. A Calculus for Set-Based Program Development;Formal Methods and Software Engineering;2003
5. On a Generalised Logicality Theorem;Lecture Notes in Computer Science;2002