TY  - RPRT
TI  - Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning
AU  - John Slaney
AU  - Bruno Woltzenlogel Paleo
PY  - 2016
UR  - https://arxiv.org/abs/1602.04568
ID  - 1602.04568
ER  -