Axioms vs. Rewrite Rules: From Completeness to Cut Elimination.

Gilles Dowek Axioms vs. Rewrite Rules: From Completeness to Cut Elimination. 62-72 2000 conf/frocos/2000 FroCos db/conf/frocos/frocos2000.html#Dowek00