Honzík, L. et al. 2017. Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh. Učitel matematiky. 23, 2 (čer. 2017), 91–104.