Is the Euclidean algorithm optimal among its peers?

Lou van den Dries, Yiannis N. Moschovakis. Is the Euclidean algorithm optimal among its peers?. Bulletin of Symbolic Logic, 10(3):390-418, 2004. [doi]