Recapturing dynamic logic of relation changers via bounded morphisms
scientific article; zbMATH DE number 7339951
scientific article