TY  - RPRT
TI  - HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories
AU  - C. -H. Luke Ong
AU  - Dominik Wagner
PY  - 2019
DO  - 10.1109/lics.2019.8785784
UR  - https://arxiv.org/abs/1902.10396
ID  - 1902.10396
ER  -