1.
Coquand T, Mörtberg A, Siles V. A formal proof of Sasaki-Murao algorithm. JFR [Internet]. 2012 Dec. 30 [cited 2024 Jul. 14];5(1):27-36. Available from: https://jfr.unibo.it/article/view/2615