Honzík, L.; Hora, J.; Kašparová, M. Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh. UM 2017, 23, 91-104.