Ross A. Overbeek
Ross A. Overbeek.
A new class of automated theorem-proving algorithms.
Journal of the ACM
, 21(2):191-200, April 1974.
References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database