@inproceedings{Matichuk_WM_14,
    address          = {Vienna, Austria},
    author           = {Matichuk, Daniel and Wenzel, Makarius and Murray, Toby},
    booktitle        = {International Conference on Interactive Theorem Proving},
    doi              = {10.1007/978-3-319-08970-6_25},
    editor           = {{Gerwin Klein and Ruben Gamboa}},
    keywords         = {proof automation, proof procedure language, isabelle},
    month            = jul,
    pages            = {390--405},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7847.pdf},
    publisher        = {Springer},
    title            = {An {Isabelle} Proof Method Language},
    year             = {2014}
  }