LOGIC AND DATABASES: PROCEEDINGS OF SYMPOSIUM,1977 - GALLAIRE,HERVE (ED), MINKER,JACK (ED) (OTH NEW YORK, 1978)