Adding For-Loops to First-Order Logic.

Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche

Browse the full ICDT paper archive.