A structural approach to the enforcement of language and disjunctive constraints | IEEE Conference Publication | IEEE Xplore