Marc Giusti. A Gröbner free alternative to solving and a geometric analogue to Cook s thesis. In Jeremy Johnson, Hyungju Park, Erich Kaltofen, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. pages 1-2, ACM, 2009. [doi]
Abstract is missing.