Verification of knowledge base redundancy and subsumption using graph transformations

• Authors:

• Gabriel Valiente

• Affiliations:

• -

• Venue:
• International Journal of Expert Systems - Special issue on verification and validation (Part 2)
• Year:
• 1993