Ein analytisches Werk, das die formale Logik typisierter Merkmalstrukturen untersucht und deren Einsatz in Unifikationsgrammatiken, logischen Programmen sowie Constraint‑Lösungen aus einer neuen Perspektive beleuchtet.