@inproceedings{NevenOttoTyszkiewiczVandenbussche1999,
  title = {Adding {FOR}-loops to first-order logic},
  pages = {58-69},
  publisher = {Springer-Verlag},
  author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and Van den
            Bussche, Jan},
  series = {{LNCS}},
  year = {1999},
  booktitle = {Proceedings of ICDT'99},
  volume = {1540},
}