An algorithm for logically deducing Horn clauses and processing logic queries

• Authors:

• Chao-Chih Yang

• Affiliations:

• North Texas State Univ., Denton, TX

• Venue:
• International Journal of Pattern Recognition and Artificial Intelligence
• Year:
• 1987