An Overview and Intoduction to Logic and Data Bases.

Hervé Gallaire Jack Minker Jean-Marie Nicolas An Overview and Intoduction to Logic and Data Bases. 3-30 1977 Logic and Data Bases db/conf/adbt/adbt77.html#GallaireMN77