@dblp

Generalization under Implication by using Or-Introduction.

. ECML, volume 667 of Lecture Notes in Computer Science, page 56-64. Springer, (1993)

Links and resources

Tags