Book

Foundations of deductive databases and logic programming

by Krzysztof R. Apt, Jack Minker