Deduction in Non-Horn Databases (1985)

by A Yahya, L J Henschen
Venue:J. Automated Reasoning