@misc{indiciaefdb8e6fb6055,
  title = {Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value},
  author = {Santiago Hernández-Orozco and Francisco Hernández-Quiroz and Hector Zenil and Wilfried Sieg},
  year = {2015},
  url = {https://arxiv.org/abs/1506.04349},
  note = {Source identifier: 1506.04349}
}