Simple Gödel Numberings, Translations, and the P-Hierarchy

Simple Gödel Numberings, Translations, and the P-Hierarchy Michael Machtey Paul Young 236-243 conf/stoc/STOC8 1976 STOC db/conf/stoc/stoc76.html#MachteyY76