@inproceedings {1301, title = {Curves that must be retraced}, booktitle = {Sixth International Conference on Computability and Complexity in Analysis (CCA 2009)}, year = {2009}, author = {E. Mayordomo and J.H. Lutz and X. Gu} }