Eliezer L. Lozinskii Inference by generating in deductive databases. 327-357 1991 7 Data Knowl. Eng. db/journals/dke/dke7.html#Lozinskii91