Orderings for Equational Proofs

Leo Bachmair, Nachum Dershowitz, Jieh Hsiang

Browse the full LICS paper archive.