The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete.

Yoshiki Nakamura

Browse the full FSCD paper archive.