List of Articles Non-Recursive Open Access Article Abstract Page Full-Text 1 - A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems Armin Ghasem Azar Zohreh Mohammad Alizadeh 10.7508/jist.2013.01.004