Composition with target constraints.

Marcelo Arenas, Ronald Fagin, Alan Nash

Browse the full ICDT paper archive.