Deductive and object-oriented databases : fourth international conference, DOOD ʾ95, Singapore, December 4-7, 1995 : proceedings - Mendelzon, Alberto O.; Ling, Tok Wang; Vieille, Laurent (Lecture notes in computer science, 1995)