Feature constraint logics for unification grammars (1992)

by G Smolka
Venue:The Journal of Logic Programming