Stav dette: Foundations of deductive databases and logic programming / contributors, Krzysztof R. Apt [and others] ; edited by Jack Minker.