On invariant checking
scientific article; zbMATH DE number 6250670
scientific article