Essentials of Logic Programming (1990)

by Cristopher John Hogger
Venue:Artificial Intelligence