@ARTICLE{Fagin1994,
  AUTHOR =  {Fagin, R. and Halpern, J. Y.},
  authorfa =     {ر. فاگین and ج. هالپرن},
  TITLE =  {Reasoning about knowledge and probability},
  JOURNAL =  {Journal of the ACM}, 
  Volume = {41},
  Number = {2},
  YEAR =  {1994}, 
  PAGES =  {340–367},
}

@ARTICLE{Halpern1993,
  AUTHOR =  {Halpern, J. Y. and Tuttle, M. R.},
  authorfa =     {ج. هالپرن and ام. تاتل},
  TITLE =  {Knowledge, probability, and adversaries},
  JOURNAL =  {Journal of the ACM},
  Volume =   {40},
  Number =   {4}, 
  YEAR =  {1993}, 
  PAGES =  {917–962},
}