Deduction in non-horn databases (1985)

by A Yahya, L J Henschen
Venue:Journal of Automated Reasoning