@article{Blanchette_2016,
    doi = {10.1007/s10817-016-9362-8},
    url = {https://doi.org/10.1007%2Fs10817-016-9362-8},
    year = {2016},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {57},
    number = {3},
    pages = {219--244},
    author = {Jasmin Christian Blanchette and David Greenaway and Cezary Kaliszyk and Daniel Kühlwein and Josef Urban},
    title = {A Learning-Based Fact Selector for Isabelle/{HOL}},
    journal = {Journal of Automated Reasoning}
}

@article{Blanchette_2016, doi = {10.1007/s10817-016-9362-8}, url = {https://doi.org/10.1007%2Fs10817-016-9362-8}, year = {2016}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {57}, number = {3}, pages = {219--244}, author = {Jasmin Christian Blanchette and David Greenaway and Cezary Kaliszyk and Daniel Kühlwein and Josef Urban}, title = {A Learning-Based Fact Selector for Isabelle/{HOL}}, journal = {Journal of Automated Reasoning} }