Quantified statements in a flexible relational query language.

Patrick Bosc, Ludovic Litard, Olivier Pivert

Browse the full SAC paper archive.