Hajnal Andréka István Németi Ildikó Sain On the Strength of Temporal Proofs. 125-151 1991 80 Theor. Comput. Sci. 2 db/journals/tcs/tcs80.html#AndrekaNS91