Honzík, Lukáš, Jaroslav Hora, a Martina Kašparová. 2017. „Využití Eliminace kvantifikátorů V řešení jednoduchých optimalizačních úloh". Učitel Matematiky 23 (2):91-104. https://ojs.cuni.cz/ucitel/article/view/937.