Logic and databases: a deductive approach (1984)

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