Semantic acyclicity under constraints

2016