Gerald E. Peterson
G. E. Peterson.
Theorem proving with lemmas.
Journal of the ACM
, 23(4):573-581, October 1976.
Gerald E. Peterson and Mark E. Stickel.
Complete sets of reductions for some equational theories.
Journal of the ACM
, 28(2):233-264, April 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database