Georg Gottlob Christian G. Fermüller Removing Redundancy from a Clause. 263-289 1993 61 Artif. Intell. 2 db/journals/ai/ai61.html#GottlobF93