Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche. Adding For-Loops to First-Order Logic. In Catriel Beeri, Peter Buneman, editors, Database Theory - ICDT 99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Volume 1540 of Lecture Notes in Computer Science, pages 58-69, Springer, 1999. [doi]
Abstract is missing.