Chapman, James, Tarmo Uustalu, and Niccolò Veltri. “Formalizing Restriction Categories”. Journal of Formalized Reasoning 10, no. 1 (January 1, 2017): 1–36. Accessed January 28, 2022. https://jfr.unibo.it/article/view/6237.