Return to Article Details Generalization of Clauses under Implication Download Download PDF