Robert Kowalski
Robert Kowalski.
A proof procedure using connection graphs.
Journal of the ACM
, 22(4):572-595, October 1975.
Citations.
M. H. Van Emden and R. A. Kowalski.
The semantics of predicate logic as a programming language.
Journal of the ACM
, 23(4):733-742, October 1976.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database