Eberhard Becker, Joachim Schmid: On the Real Nullstellensatz. Algorithmic Algebra and Number Theory 1997: 173-185