Deductive databases and logic programming - Das, Subrata Kumar (Addison-Wesley Publishing, 1992)