Gocht, S. and Nordström, J. (2021) “Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(5), pp. 3768-3777. doi: 10.1609/aaai.v35i5.16494.