Problems and promises of computational logic (1990)

by R Kowalski
Venue:Computational Logic: Symposium Proceedings