Tomasz Imielinski Intelligent Query Answering in Rule Based Systems 275-312 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#Imielinski88