Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
scientific article; zbMATH DE number 3771689