Honzík, L., Hora, J., & Kašparová, M. (2017). Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel Matematiky, 23(2), 91-104. Získáno z https://ojs.cuni.cz/ucitel/article/view/937