TY  - BOOK
AU  - GALLAIRE,HERVE (ED), MINKER,JACK (ED)
TI  - LOGIC AND DATABASES: PROCEEDINGS OF SYMPOSIUM,1977
SN  - NCST
U1  - 774 
PY  - 1978///
CY  - NEW YORK
PB  - OTH
ER  -