S. Gocht and J. Nordström, “Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs”, AAAI, vol. 35, no. 5, pp. 3768-3777, May 2021.