This seems to be relevant for premise selection https://arxiv.org/pdf/1606.04442.pdf https://arxiv.org/pdf/1606.04442.pdf but not found anything yet on premise

This seems to be relevant for premise selection https://arxiv.org/pdf/1606.04442.pdf https://arxiv.org/pdf/1606.04442.pdf but not found anything yet on premise collection