CTGE-ILP: Correlative Term Graph-Based Extended ILP | IEEE Conference Publication | IEEE Xplore