DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
1989 ◽
pp. 497-510