Further processing options
available via local holding

Necessary optimality conditions in pessimistic bilevel programming