Object-level reasoning with logics encoded in HOL Light (Petros Papapanagiotou)
Channel: IJCAR-FSCD 2020
Date: 30/06/2020

LFMTP 2020, Session 1, contributed talk 2