Scavenger 0.1: A Theorem Prover Based on Conflict Resolution.

Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo

Browse the full CADE paper archive.