Abbas Edalat Ali Asghar Khanban André Lieutier Computability in Computational Geometry. 117-127 2005 conf/cie/2005 CiE http://dx.doi.org/10.1007/11494645_15 db/conf/cie/cie2005.html#EdalatKL05