@techreport{ArtKazShap:99:Knowledge:TR,
  title = "On logic of knowledge with justifications",
  author = "Artemov, S. and Kazakov, E. and Shapiro, D.",
  year = "1999",
  institution = "Cornell University",
  number = "CFIS 99-12",
}