Small Balanced Vertex Separators in NFA to Regular Expression Conversion. - Derek Youngman; Kai Salomaa (DCFS, 2025)