Richard Waldinger
Zohar Manna and Richard Waldinger.
Special relations in automated deduction.
Journal of the ACM
, 33(1):1-59, January 1986.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database