Die Ausdruckstärke von Planungsformalismen: Eine formale Charakterisierung