Honzík, Lukáš, et al. „Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh". Učitel Matematiky, roč. 23, č. 2, červen 2017, s. 91-104, https://test.scied.cz/ucitel/article/view/937.