@misc{indiciae5402c8335e3c,
  title = {Towards Automated Proof Strategy Generalisation},
  author = {Gudmund Grov and Ewen Maclean},
  year = {2013},
  url = {https://arxiv.org/abs/1303.2975},
  note = {Source identifier: 1303.2975}
}