Ghasem Azar, Armin, Mohammad Alizadeh, Zohreh. “A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems.” Journal of Information Systems and Telecommunication (JIST) , vol. 1, no. 1, 2013, pp. 1-10. 10.7508/jist.2013.01.004