Honzík, L., J. Hora, a M. Kašparová. „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://ojs.cuni.cz/ucitel/article/view/937.