Incremental Minimization of Symbolic Automata. - Jonathan Homburg; Parasara Sridhar Duggirala (VSTTE, 2019)