Feature constraint logics for unification grammars (1992)

by Gert Smolka
Venue:Journal of Logic Programming