An effective logical framework for knowledge-based systems verification

• Authors:

• Neli Zlatareva;Alun Preece

• Affiliations:

• -;-

• Venue:
• International Journal of Expert Systems
• Year:
• 1994