Adnan H. Yahya, Lawrence J. Henschen. Deduction in Non-Horn Databases. Journal of Automated Reasoning, 1(2):141-160, 1985.
@article{YahyaH85,
title = {Deduction in Non-Horn Databases},
author = {Adnan H. Yahya and Lawrence J. Henschen},
year = {1985},
researchr = {https://researchr.org/publication/YahyaH85},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {1},
number = {2},
pages = {141-160},
}