TY  - RPRT
TI  - Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
AU  - Arve Gengelbach
AU  - Johannes Åman Pohjola
AU  - Tjark Weber
PY  - 2021
DO  - 10.4204/eptcs.332.1
UR  - https://arxiv.org/abs/2101.03807
ID  - 2101.03807
ER  -