Interactive Verification of Knowledge-Based Systems. - Musa Jafar; A. Terry Bahill (IEEE Expert, 1993)