Verification of Multi-Level Rule-Based Expert Systems

Pedro Meseguer. Verification of Multi-Level Rule-Based Expert Systems. In AAAI. pages 323-328, 1991.

Abstract

Abstract is missing.