Proper noun
Oppen A surname.
On the other hand, a triply exponential upper bound on a decision procedure for Presburger Arithmetic was proved by Oppen (1978). Source: Internet