On Karush-Kuhn-Tucker Points for a Smoothing Method in Semi-Infinite Optimization. JCM 2021, 24 (6), 719-732.