"Quantifier elimination in degree 3" - читать интересную книгу автора (Weispfenning.)