Logic and Databases: A Deductive Approach,
Gallaire, H., J. Minker, J.-M. Nicolas (1984),
ACM Computing Surveys, 16, 2 p. 153–185,
10.1145/356924.356929.