Deductive databases and logic programming - DAS (England: Addison Wesley, 1992)
Keywords: Deductive databases; Logic programming