Nachum Dershowitz
R. Attar, Y. Choueka, N. Dershowitz, and A. S. Fraenkel.
KEDMA -- linguistic tools for retrieval systems.
Journal of the ACM
, 25(1):52-66, January 1978.
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