@article{Kun_ar_2018,
    doi = {10.1007/s10817-018-9454-8},
    url = {https://doi.org/10.1007%2Fs10817-018-9454-8},
    year = {2018},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {62},
    number = {4},
    pages = {531--555},
    author = {Ond{\v{r}}ej Kun{\v{c}}ar and Andrei Popescu},
    title = {A Consistent Foundation for Isabelle/{HOL}},
    journal = {Journal of Automated Reasoning}
}

@article{Kun_ar_2018, doi = {10.1007/s10817-018-9454-8}, url = {https://doi.org/10.1007%2Fs10817-018-9454-8}, year = {2018}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {62}, number = {4}, pages = {531--555}, author = {Ond{\v{r}}ej Kun{\v{c}}ar and Andrei Popescu}, title = {A Consistent Foundation for Isabelle/{HOL}}, journal = {Journal of Automated Reasoning} }