Logic and Databases: a Deductive Approach (1984)

by H Gallaire, J Minker, J M Nicolas
Venue:ACM Computing Surveys