Xiaofan Wang, Haiming Chen: Inferring Deterministic Regular Expression with Unorder. SOFSEM 2020: 325-337