"Algorithms for Kleene algebra with converse."

Paul Brunet, Damien Pous (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics