PDF BibTeX
Presented at the CADE-20 workshop on Empirically Successful Classical Automated Reasoning (ESCAR).