@inproceedings{ynjp-cicm2018,
  author    = {Yutaka Nagashima and
               Julian Parsert},
  title     = {Goal-Oriented Conjecturing for Isabelle/HOL},
  booktitle = {Intelligent Computer Mathematics - 11th International Conference,
               {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  pages     = {225--231},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96812-4\_19},
  doi       = {10.1007/978-3-319-96812-4\_19},
}