Meta-reasoning: An incremental compilation approach | IEEE Conference Publication | IEEE Xplore