Honzík, L., Hora, J. a Kašparová, M. (2017) „Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh", Učitel matematiky, 23(2), s. 91–104. Dostupné z: https://medusa.is.cuni.cz/ucitel/article/view/937 (Viděno: 8 duben 2025).