Deductive Databases and Their Applications - Robert Colomb (Taylor and Francis, 1998)