| model,4-3-P86-1038,bq | is desirable . We have developed a <term> | model | </term> in which descriptions of <term> feature | #14674 We have developed a model in which descriptions of feature structures can be regarded as logical formulas, and interpreted by sets of directed graphs which satisfy them. |
| other,1-9-P86-1038,bq | computationally inefficient . Our <term> | model | </term> allows a careful examination of | #14806 Our model allows a careful examination of the computational complexity of unification. |
