TY  - BOOK
AU  - Gallaire H and Minker J
TI  - Logic and data bases
U1  - 518.5442 
ER  -