The Complexity of Bidirected Reachability in Valence Systems.

Moses Ganardi, Rupak Majumdar, Georg Zetzsche

Browse the full LICS paper archive.