Proof by Consistency in Equational Theories

Leo Bachmair

Browse the full LICS paper archive.