@InProceedings{LutzSattlerWolter-CSL-01,
  author = 	 {C. Lutz and U. Sattler and F. Wolter},
  title = 	 {Modal Logics and the two-variable fragment},
  booktitle = 	 {Annual Conference of the European Association for Computer Science Logic CSL'01},
  year =	 2001,
  series =	 {LNCS},
  address =      {Paris, France},
  publisher =	 {Springer Verlag}
}