The First Order Truth Behind Undecidability of Regular Path Queries Determinacy.

Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja

Browse the full ICDT paper archive.