Canonical equational proofs - Bachmair, Leo (Progress in Theoretical Computer Science, 1991)