Journal: SIGART Bulletin

Volume 3, Issue 1

20 -- 24Gabriel Valiente. Using Layered Support Graphs for Verifying External Adequacy in Rule-Based Expert Systems