Sozeau, Matthieu. “A New Look at Generalized Rewriting in Type Theory”. Journal of Formalized Reasoning 2, no. 1 (January 1, 2009): 41–62. Accessed March 29, 2024. https://jfr.unibo.it/article/view/1574.