Query Processing and Optimization for Logic Programs with Certainty Constraints. - Jinzan Lai; Nematollaah Shiri (FLAIRS, 2009)