@inproceedings{AAmanPohjola_Gengelbach_20,
    address          = {Alicante, Spain},
    author           = {{\AA}man Pohjola, Johannes and Gengelbach, Arve},
    booktitle        = {LPAR23: 23rd International Conference on Logic for Programming, Artificial Intelligence and
                        Reasoning},
    date             = {2020-5-27},
    doi              = {https://doi.org/10.29007/413d},
    issn             = {23987340},
    keywords         = {Interactive theorem proving; Higher-order logic; Ad-hoc overloading},
    month            = may,
    pages            = {498-515},
    paperurl         = {https://trustworthy.systems/publications/full_text/AAmanPohjola_Gengelbach_20.pdf},
    publisher        = {EasyChair Publications},
    title            = {{A} Mechanised Semantics for {HOL} with Ad-hoc Overloading},
    volume           = {73},
    year             = {2020}
  }