Robuta

https://arxiv.org/abs/cs/9512103 [cs/9512103] Generalization of Clauses under Implication Abstract page for arXiv paper cs/9512103: Generalization of Clauses under Implication cs generalization clauses implication