On the Strength of Temporal Proofs

Hajnal Andréka, István Németi, Ildikó Sain. On the Strength of Temporal Proofs. In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 135-144, Springer, 1989.

@inproceedings{AndrekaNS89,
  title = {On the Strength of Temporal Proofs},
  author = {Hajnal Andréka and István Németi and Ildikó Sain},
  year = {1989},
  researchr = {https://researchr.org/publication/AndrekaNS89},
  cites = {0},
  citedby = {0},
  pages = {135-144},
  booktitle = {Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings},
  editor = {Antoni Kreczmar and Grazyna Mirkowska},
  volume = {379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51486-4},
}