"Complexity of Wu-Ritt decomposition" - читать интересную книгу автора (Szanto.)