Equational properties of Kleene algebras of relations with conversion
scientific article; zbMATH DE number 986072
scientific article