Foundations of Knowledge for Distributed Systems

@techreport{dsknowledge-yaletr450,
   apice = {DsknowledgeYaletr450},
   author = {Fisher, Michael J. and Immerman, Neil},
   institution = {Yale University},
   month = dec,
   number = 450,
   title = {Foundations of Knowledge for Distributed Systems},
   type = {Technical Report},
   url = {https://www.cs.yale.edu/publications/techreports/tr450.pdf},
   year = 1985
}