L. Honzík, J. Hora, a M. Kašparová, „Využití eliminace kvantifikátorů v řešení jednoduchých optimalizačních úloh", UM, roč. 23, č. 2, s. 91-104, čer. 2017.