A set-theoretic approach to linguistic feature structures and unification algorithms (I) by N. Curteanu, P.-G. Holban

“…The linguistic unification algorithm based on tableau-subsumption is outlined. …”
Get full text