@misc{indiciae73610de14332,
  title = {A Proof Strategy Language and Proof Script Generation for Isabelle/HOL},
  author = {Yutaka Nagashima and Ramana Kumar},
  year = {2017},
  url = {https://arxiv.org/abs/1606.02941},
  note = {Source identifier: 1606.02941}
}