Understanding Cartesian Trees: From Recursive Definition to Monotonic Stack

Kleene Algebra, NetKAT, StacKAT, GKAT, CF-GKAT