HONZÍK, Lukáš; HORA, Jaroslav; KAŠPAROVÁ, Martina. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky, [S. l.], v. 23, n. 2, p. 91–104, 2017. Disponível em: https://medusa.is.cuni.cz/ucitel/article/view/937. Acesso em: 8 dub. 2025.