Kleene algebra of partial predicates
scientific article; zbMATH DE number 6957522
scientific article