From semirings to residuated Kleene lattices
scientific article; zbMATH DE number 2082011