@inproceedings{Nagashima_2018,
    doi = {10.1145/3238147.3238210},
    url = {https://doi.org/10.1145%2F3238147.3238210},
    year = {2018},
    month = {sep},
    publisher = {{ACM}},
    author = {Yutaka Nagashima and Yilun He},
    title = {{PaMpeR}: proof method recommendation system for Isabelle/{HOL}},
    booktitle = {Proceedings of the 33rd {ACM}/{IEEE} International Conference on Automated Software Engineering}
}

@inproceedings{Nagashima_2018, doi = {10.1145/3238147.3238210}, url = {https://doi.org/10.1145%2F3238147.3238210}, year = {2018}, month = {sep}, publisher = {{ACM}}, author = {Yutaka Nagashima and Yilun He}, title = {{PaMpeR}: proof method recommendation system for Isabelle/{HOL}}, booktitle = {Proceedings of the 33rd {ACM}/{IEEE} International Conference on Automated Software Engineering} }