jdh.hamkins.org
Post's Problem for Ordinal Register Machines
[bibtex key=HamkinsMiller2007:PostsProblemForORMs]