Semantic acyclicity under constraints

No Abstract.