A conservative technique to improve deterministic evaluation of logic programs | IEEE Conference Publication | IEEE Xplore