Nicola Leone Clara Pizzuti Pasquale Rullo Efficient Evaluation of a Class of Ordered Logic Programs. 185-214 1997 23 Data Knowl. Eng. 2 db/journals/dke/dke23.html#LeonePR97 http://dx.doi.org/10.1016/S0169-023X(96)00050-X