Dietrich Kuske Markus Lohrey Hamiltonicity of automatic graphs. 445-459 2008 IFIP TCS http://dx.doi.org/10.1007/978-0-387-09680-3_30 conf/ifipTCS/2008 db/conf/ifipTCS/ifipTCS2008.html#KuskeL08