HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.

C.-H. Luke Ong, Dominik Wagner

Browse the full LICS paper archive.