J.A. Robinson

• Handbook of logic in artificial intelligence and logic programming
• Logic