@inproceedings{HooglandMarxOtto1999,
  author = {Hoogland, Eva and Marx, Marten and Otto, Martin},
  publisher = {Springer-Verlag},
  note = {See also in: JFAK. Essays Dedicated to Johan van Benthem on the
          Occasion of his 50th Birthday, J. Gebrandy, M. Marx, M. de Rijke and
          Y. Venema (ed.), CD-ROM, Amsterdam University Press 1999. },
  title = {{B}eth definability for the guarded fragment},
  pages = {273-285},
  year = {1999},
  volume = {1705},
  booktitle = {Proceedings of {LPAR}'99},
  series = {{LNAI}},
}