Buckley, Mitchell. “A Formal Verification of the Theory of Parity Complexes”. Journal of Formalized Reasoning 8, no. 1 (January 1, 2015): 25–48. Accessed April 19, 2025. https://jfr.unibo.it/article/view/5010.