An efficient null-free procedure for deciding regular language membership
scientific article; zbMATH DE number 1495181