Chapman, J., Uustalu, T., & Veltri, N. (2017). Formalizing Restriction Categories. Journal of Formalized Reasoning, 10(1), 1–36. https://doi.org/10.6092/issn.1972-5787/6237