Adding For-Loops to First-Order Logic.

http://dx.doi.org/10.1007/3-540-49257-7_5 conf/icdt/99 Frank Neven Martin Otto Jerzy Tyszkiewicz Jan Van den Bussche Adding For-Loops to First-Order Logic. 58-69 1999 ICDT http://link.springer.de/link/service/series/0558/bibs/1540/15400058.htm db/conf/icdt/icdt99.html#NevenOTB99 books/aw/AbiteboulHV95 journals/jcss/AbiteboulV95 journals/jcss/ChandraH82 conf/popl/Chandra81 conf/pods/Chandra88 ... ... conf/csl/GradelO92 ... journals/apal/KolaitisV95 journals/jsyml/Otto96