Logic for problem solving - Kowalski, Robert (New York : Elsevier North Holland, 1979)
Includes index.
Bibliography: p. 247-260.
Keywords: Problem solving; Computer programming; Logic, Symbolic and mathematical