Raymond Reiter Deductive Question-Answering on Relational Data Bases. 149-177 1977 Logic and Data Bases db/conf/adbt/adbt77.html#Reiter77a