Coquand, Thierry, Anders Mörtberg, and Vincent Siles. “A Formal Proof of Sasaki-Murao Algorithm”. Journal of Formalized Reasoning 5, no. 1 (December 30, 2012): 27–36. Accessed July 27, 2024. https://jfr.unibo.it/article/view/2615.