Foundations of deductive databases and logic programming by Krzysztof R. Apt | Menrva Books | MenrvaBooks