A Complete Axiomatization of a Theory with Feature and Arity Constraints

@techreport{pub6132,
    author = {

Backofen, Rolf
},
    title = {A Complete Axiomatization of a Theory with Feature and Arity Constraints},
    series = {DFKI Research Reports (RR)},
    year = {1994},
    volume = {94-35},
    pages = {49},
    institution = {DFKI}
}