New directions in instantiation-based theorem proving | IEEE Conference Publication | IEEE Xplore