@ARTICLE{Fagin1993,
  AUTHOR =  {\textsc{Fagin}, R., and J. Y. \textsc{Halpern}},
  TITLE =  {`Reasoning about knowledge and probability'},
  JOURNAL =  {\textit{Journal of the ACM} 41 (2)}, 
  YEAR =  {1993}, 
  PAGES =  {340–367}, 
}

@ARTICLE{Halpern1993,
  AUTHOR =  {\textsc{Halpern}, J. Y., and M. R. \textsc{Tuttle}},
  TITLE =  {`Knowledge, probability, and adversaries'},
  JOURNAL =  {\textit{Journal of the ACM} 40 (4)}, 
  YEAR =  {1993}, 
  PAGES =  {917–962}, 
}

@ARTICLE{Fagin1990,
  AUTHOR =  {\textsc{Fagin}, R., \textsc{Halpern}, J. Y., and \textsc{Megiddo}, N.},
  TITLE =  {A logic for reasoning bout probabdities'},
  JOURNAL =  {\textit{Inf. Comput. 87}, 1/2}, 
  YEAR =  {1990}, 
  PAGES =  {78– 128}, 
}