On the Strength of Temporal Proofs.

Hajnal Andrka, Istvn Nmeti, Ildik Sain

Browse the full MFCS paper archive.