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://ojs.cuni.cz/ucitel/article/view/937 (Viděno: 14květen2024).