“Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh”. 2017. Učitel Matematiky 23 (2): 91-104. https://test.scied.cz/ucitel/article/view/937.