Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh. UM 2017, 23 (2), 91-104.