jdh.hamkins.org
Post's problem for ordinal register machines: an explicit approach
[bibtex key=HamkinsMiller2009:PostsProblemForORMsExplicitApproach]