1
Logic and data bases /
Book
Other Personal Name(s): ...Gallaire, Herve....