"Complexity of problems in archimedean ordered groups (EUROCAL85)" - читать интересную книгу автора (Weispfenning.)