TY - RPRT TI - The First Order Truth behind Undecidability of Regular Path Queries Determinacy AU - Grzegorz Głuch AU - Jerzy Marcinkowski AU - Piotr Ostropolski-Nalewaja PY - 2019 UR - https://arxiv.org/abs/1808.07767 ID - 1808.07767 ER -