Composition with target constraintsMarcelo ArenasRonald Faginet al.2011Logical Methods in Computer Science