"Simplification of interval expressions" - читать интересную книгу автора (Popova et al.)