Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable.

Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja

Browse the full LICS paper archive.