@misc{indiciaeac8a04044bb6,
  title = {Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications},
  author = {Matt Kaufmann and David L. Rager},
  year = {2015},
  doi = {10.4204/eptcs.192},
  url = {https://arxiv.org/abs/1509.05526},
  note = {Source identifier: 1509.05526}
}