@article{Matichuk_2016,
    doi = {10.1007/s10817-015-9360-2},
    url = {https://doi.org/10.1007%2Fs10817-015-9360-2},
    year = {2016},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {56},
    number = {3},
    pages = {261--282},
    author = {Daniel Matichuk and Toby Murray and Makarius Wenzel},
    title = {Eisbach: A Proof Method Language for Isabelle},
    journal = {Journal of Automated Reasoning}
}

@article{Matichuk_2016, doi = {10.1007/s10817-015-9360-2}, url = {https://doi.org/10.1007%2Fs10817-015-9360-2}, year = {2016}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {56}, number = {3}, pages = {261--282}, author = {Daniel Matichuk and Toby Murray and Makarius Wenzel}, title = {Eisbach: A Proof Method Language for Isabelle}, journal = {Journal of Automated Reasoning} }