Title: Computational logic
Subjects: Logic programming, Automatic theorem proving
People: J. A. Robinson