Authors: Musa Jafar A.Terry Bahill

Citation: Musa Jafar et A.terry Bahill, Interactive verification of knowledge-based systems, IEEE expert IEEE expert intelligent systems and their applications , 8(1), 1993, pp. 25-32