Jack Minker An Experimental Relational Data Base System Based on Logic. 107-147 1977 Logic and Data Bases db/conf/adbt/adbt77.html#Minker77