@article{ditm:play05,
  author	= {H. P. van Ditmarsch and W. van der Hoek and B. P. Kooi},
  title		= {Playing Cards with Hintikka: An introduction to dynamic epistemic logic},
  journal	= {The Australasian Journal of Logic},
  year		= 2005,
  volume	= 3,
  pages		= {108--134},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2005/},
}