F
[FHM+95] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Knowledge-Based Programs. In PODC'95, pages 153-163. ACM Press, August 1995. 
@inproceedings{podc1995-FHMV,
  author =              {Fagin, Ronald and Halpern, Joseph Y. and Moses,
                         Yoram and Vardi, Moshe Y.},
  title =               {Knowledge-Based Programs},
  booktitle =           {{P}roceedings of the 14th {ACM} {S}ymposium on
                         {P}rinciples of {D}istributed {C}omputing
                         ({PODC}'95)},
  acronym =             {{PODC}'95},
  publisher =           {ACM Press},
  pages =               {153-163},
  year =                {1995},
  month =               aug,
}
List of authors