Dominance Constraints in Stratified Context Unification
Abstract
We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.
Loading...