@misc{indiciae31f55d8a6e57,
  title = {Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems},
  author = {Sebastiaan Joosten and Cezary Kaliszyk and Josef Urban},
  year = {2014},
  doi = {10.4204/eptcs.152.6},
  url = {https://arxiv.org/abs/1406.1559},
  note = {Source identifier: 1406.1559}
}