Verification of Multi-Level Rule-Based Expert Systems.

Pedro Meseguer

Browse the full AAAI paper archive.