Dominance constraints in stratified context unification

We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.