@proceedings{clima2010,
  editor        = {J. Dix and J. Leite and G. Governatori and W. Jamroga},
  title         = {Computational Logic in Multi-Agent Systems. Proceedings of CLIMA XI},
  booktitle     = {CLIMA XI},
  publisher     = {Springer},
  series        = {LNCS},
  volume        = {6245},
  year          = {2010}
}