sur 38
Foundations of Deductive Databases and Logic Programming — Jack Minker