J.A. RobinsonBooksLogicHandbook of logic in artificial intelligence and logic programmingAuthor data: Open Library