TY  - RPRT
TI  - Object-Level Reasoning with Logics Encoded in HOL Light
AU  - Petros Papapanagiotou
AU  - Jacques Fleuriot
PY  - 2021
DO  - 10.4204/eptcs.332.2
UR  - https://arxiv.org/abs/2101.03808
ID  - 2101.03808
ER  -