TY  - RPRT
TI  - Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
AU  - Daniyar Itegulov
AU  - John Slaney
AU  - Bruno Woltzenlogel Paleo
PY  - 2017
UR  - https://arxiv.org/abs/1704.03275
ID  - 1704.03275
ER  -