Characterizing determinacy in Kleene algebras
scientific article; zbMATH DE number 1758162