Dexter Kozen 428-435 conf/stoc/STOC16 1984 STOC db/conf/stoc/stoc84.html#Kozen84 https://doi.org/10.1145/800057.808709