@misc{W3140030144,
  author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
  title = {Reasoning About Knowledge},
  year = {1995},
  howpublished = {The MIT Press eBooks},
  doi = {https://doi.org/10.7551/mitpress/5803.001.0001}
}