Dominance constraints in stratified context unification
scientific article; zbMATH DE number 5664749
scientific article