An epistemic programming approach for automated theorem finding | IEEE Conference Publication | IEEE Xplore