Incremental Verification of Rule-Based Expert Systems.

Pedro Meseguer

Browse the full ECAI paper archive.