Introduction to logic programming (1990)

by K R Apt
Venue:in Handbook of Theoretical Computer Science