Honzík L, Hora J, Kašparová M. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. UM [Internet]. 20. červen 2017 [citován 21. květen 2026];23(2):91-104. Dostupné z: https://test.scied.cz/ucitel/article/view/937