Klaus Ambos-Spies Hans Fleischhack Hagen Huwig Diagonalizing over Deterministic Polynomial Time. 1-16 1987 conf/csl/1987 CSL db/conf/csl/csl87.html#Ambos-SpiesFH87 http://dx.doi.org/10.1007/3-540-50241-6_25