Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper. Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). In Patrizia M. Gianni, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 88, Rome, Italy, July 4-8, 1988, Proceedings. Volume 358 of Lecture Notes in Computer Science, pages 109-115, Springer, 1988.
Abstract is missing.