Deductive databases and logic programming - Kumardas, Subrata (Addison-Wesley, 1992)