Adaptive Lookahead for Answer Set Computation | IEEE Conference Publication | IEEE Xplore