##article.return## Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures Download Download PDF