Substitution-based compilation of extended rules in deductive databases

• Authors:

• Sang Ho Lee;Lawrence J. Henschen

• Affiliations:

• -;-

• Venue:
• CADE-10 Proceedings of the tenth international conference on Automated deduction
• Year:
• 1990