LOGIC AND DATA BASES - Gallaire, Hervé (Plenum Press, 1978)