Detecting Redundant Clauses or Premises within Logic-Oriented Database Schemas.

Bernhard Convent Detecting Redundant Clauses or Premises within Logic-Oriented Database Schemas. 135-155 1989 FMLDO db/conf/fmldo/fmldo89.html#Convent89