Logic for Problem Solcing (1979)

by R A Kowalski