Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference | Publicación