Kleene Algebra with Commutativity Conditions Is Undecidable.

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

Browse the full CSL paper archive.