Robert Demolombe An Efficient Strategy for Non-Horn Deductive Databases. 245-259 1991 78 Theor. Comput. Sci. 1 db/journals/tcs/tcs78.html#Demolombe91