Logic and Databases: A Deductive Approach (1984)

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