Contributions to the theory of logic programming (1982)

by Krzysztof R Apt, Marten H van Emden
Venue:JACM