Contributions to the theory of logic programming (1982)

by K R Apt, M H van Emden
Venue:Journal of the ACM