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