A cut-free cyclic proof system for Kleene algebra
scientific article; zbMATH DE number 6833561