Introduction to Logic Programming (1989)

by K R Apt
Venue:Handbook of Theoretical Computer Science