Robert Demolombe. An Efficient Strategy for Non-Horn Deductive Databases. Theoretical Computer Science, 78(1):245-259, 1991.
@article{Demolombe91:0, title = {An Efficient Strategy for Non-Horn Deductive Databases}, author = {Robert Demolombe}, year = {1991}, researchr = {https://researchr.org/publication/Demolombe91%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {78}, number = {1}, pages = {245-259}, }