@article{DBLP:journals/csur/GallaireMN84,
author = {Herv{\'e} Gallaire and
Jack Minker and
Jean-Marie Nicolas},
title = {Logic and Databases: A Deductive Approach},
journal = {ACM Comput. Surv.},
volume = {16},
number = {2},
year = {1984},
pages = {153-185},
ee = {http://doi.acm.org/10.1145/356924.356929},
bibsource = {DBLP, http://dblp.uni-trier.de}
}