@inproceedings{DBLP:conf/birthday/Zenil12,
  title = "Computer Runtimes and the Length of Proofs - With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving",
  author = "Hector Zenil",
  year = "2012",
  booktitle = "Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers",
  editor = "Michael J. Dinneen and Bakhadyr Khoussainov and Andr{\'{e}} Nies",
  isbn = "978-3-642-27653-8",
  pages = "224--240",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-27654-5",
  volume = "7160",
  doi = "10.1007/978-3-642-27654-5",
}