Charles Kellogg Larry Travis Reasoning with Data in a Deductively Augmented Data Management System. 261-295 1979 Advances in Data Base Theory db/conf/adbt/adbt79.html#KelloggT79