Rebola-Pardo, A., & Tobias, P. (2016). DRAT proofs for XOR reasoning. In Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings ; Loizos, Michael. Cham. https://doi.org/10.1007/978-3-319-48758-8_27