Logic for Problem Solving. - Kowalski, Robert (Artificial Intelligence Series,, 1979)