Logic for problem solving (1979)

by R A Kowalski