TY  - RPRT
TI  - Generalization of Clauses under Implication
AU  - P. Idestam-Almquist
PY  - 1995
UR  - https://arxiv.org/abs/cs/9512103
ID  - cs/9512103
ER  -