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