Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. - Stephan Schulz 001; Martin Möhrmann (IJCAR, 2016)