Problems and promises of computational logic (1990)

by R A Kowalski
Venue:Computational Logic