Incremental Verification of Rule-Based Expert Systems

Pedro Meseguer. Incremental Verification of Rule-Based Expert Systems. In ECAI. pages 840-844, 1992.

Abstract

Abstract is missing.