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 (čer. 2017), 91-104.