@article{NevenOttoTyszkiewiczVandenbussche2000,
  title = {Adding {FOR}-loops to first-order logic},
  pages = {156-186},
  journal = {Information and Computation},
  note = {proceedings version in: ICDT'99, LNCS 1540, 1999, pp. 58-69},
  year = {2001},
  volume = {168},
  author = {Neven, Frank and Otto, Martin and Tyszkiewicz, Jerzy and Van den
            Bussche, Jan},
}