Logic for problem solving - Kowalski, Robert 1941- (North Holland, 1983)