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