Removing Redundancy from a Clause

Bibliographic Details
Main Authors: Gottlob, G, Fermüller, C
Format: Journal article
Published: 1993