Detecting redundant clauses or premises within logic-oriented database schemas - Convent, Bernhard (Hildesheimer Informatikberichte, 1989)