Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.

Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Browse the full WoLLIC paper archive.