Logic and databases: a deductive approach (1984)

by Hervi Gallaire, Jack Minker
Venue:ACM Computing Surveys