Melting Down the Number of Variables for the Inclusion Problem for Pattern Languages and Logspace-Decidability of Determinism of Regular Languages - Bremer, Joachim (PQDT - Global, 2024)