Problems and promises of computational logic (1990)

by Kowalski
Venue:in Lloyd (ed): Computational Logic, ESPRIT Basic Research Series