Leo Bachmair
Leo Bachmair and Nachum Dershowitz.
Equational inference, canonical proofs, and proof orderings.
Journal of the ACM
, 41(2):236-276, March 1994.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database