Generalization under Implication: Expansions of Clauses for Indirect Roots

Peter Idestam-Almquist. Generalization under Implication: Expansions of Clauses for Indirect Roots. In SCAI. pages 126-136, 1993.

Abstract

Abstract is missing.