Neyman A. Chapter 6: Real algebraic tools in stochastic games.  2003.