Bonacina. On Conflict-driven Reasoning. EasyChair, doi:10.29007/spwm.