(1)
Gocht, S.; Nordström, J. Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs. AAAI 2021, 35, 3768-3777.