Buckley, M. (2015) “A formal verification of the theory of parity complexes”, Journal of Formalized Reasoning, 8(1), pp. 25–48. doi: 10.6092/issn.1972-5787/5010.