Contributions to the theory of logic programming (1982)

by K R Apt, M H Van Emden
Venue:Journal of the ACM (JACM