A Split-Based Incremental Deterministic Automata Minimization Algorithm | Publicación