Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (ISSAC, 1988)

Discovering Inequality Conditions in the Analytic Solution of Optimization Problems. - Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper (J. Autom. Reason., 1989)