Bi-level Strategies in Semi-infinite Programming (2003)