@misc{indiciae08994ba6c676,
  title = {Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading},
  author = {Arve Gengelbach and Johannes Åman Pohjola and Tjark Weber},
  year = {2021},
  doi = {10.4204/eptcs.332.1},
  url = {https://arxiv.org/abs/2101.03807},
  note = {Source identifier: 2101.03807}
}