bilevel optimisation, Constraint Logic Programming, Constraint Programming2, dynamic programming, network interdiction, specification language.