Keyphrase: term rewriting

Papers

authors	title	volume	pages
Issam Maamria and Michael Butler	Rewriting and Well-Definedness within a Proof System	PAR-10. Partiality and Recursion in Interactive Theorem Provers	54-70
Harald Zankl and Martin Korp	On Implementing Modular Complexity Analysis	IWIL 2010. The 8th International Workshop on the Implementation of Logics	42-47