Konstantinos Georgatos Geodesic Revision. 447-459 2009 19 J. Log. Comput. 3 http://dx.doi.org/10.1093/logcom/exn008 db/journals/logcom/logcom19.html#Georgatos09