Computing global minima to polynomial optimization problems using Gröbner bases. - K. Hägglöf; Per Olov Lindberg; Lars Svensson (J. Glob. Optim., 1995)