Canonical Equational Proofs (1991)

by L Bachmair