Deductive databases : - Dahr, Michael 1963- (International Thomson computer press, 1997)