Hybrid ITS for DFA Construction Problems. ICCE 2016. https://doi.org/10.58459/icce.2016.1098.