They are based on dominance constraints (Marcus et al., 1983;Rambow et al., 1995) and extend them with parallelism (Erk and Niehren, 2000) and binding constraints.
3  Having introduced -reduction constraints, we now show how to process them.