@INPROCEEDINGS{agotnes:dalt-05,
  AUTHOR = "Thomas {\AA}gotnes and Michal Walicki",
  TITLE = "Complete Axiomatizations of Finite Syntactic Epistemic States",
  BOOKTITLE = "Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers",
  EDITOR = "Matteo Baldoni and Ulle Endriss and Andrea Omicini and Paolo Torroni",
  YEAR = 2006,
  VOLUME = "3904",
  PAGES = "33 -- 50",
  PUBLISHER = "Springer Berlin / Heidelberg",
  SERIES =  "Lecture Notes in Computer Science (LNCS)"
}