TY  - RPRT
TI  - Decision Problems For Turing Machines
AU  - Olivier Finkel
AU  - Dominique Lecomte
PY  - 2009
UR  - https://arxiv.org/abs/0909.0736
ID  - 0909.0736
ER  -