Building a deductive database - Nussbaum, Miguel (Ablex Publ. Corp., 1992)