Semantic Selection of Premisses for Automated Theorem Proving.

Petr Pudlk

Browse the full CADE paper archive.