Bruce W. Char Alan R. Macnaughton Paul A. Strooper Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. 339-362 1989 5 J. Autom. Reasoning 3 db/journals/jar/jar5.html#CharMS89 http://dx.doi.org/10.1007/BF00248323