Deductive databases and their applications - Colomb, Robert M. (Taylor & Francis, 1998)