TY - RPRT TI - Composition with Target Constraints AU - Marcelo Arenas AU - Ronald Fagin AU - Alan Nash PY - 2011 DO - 10.2168/lmcs-7(3:13)2011 UR - https://arxiv.org/abs/1106.3745 ID - 1106.3745 ER -