Formal Specification of a Rule-Based Expert System.

Bryan S. Todd, Richard Stamper

Browse the full SEKE paper archive.