@article{
  author = {Ghasem Azar, Armin, Mohammad Alizadeh, Zohreh},
  title = {A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems},
  journal = {Journal of Information Systems and Telecommunication (JIST) },
  year = {2013},
  volume = {1},
  number = {1},
  pages = {1-10},
  doi = {10.7508/jist.2013.01.004}
}