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 14. květen 2024];23(2):91-104. Dostupné z: https://ojs.cuni.cz/ucitel/article/view/937