Dario Colazzo, Carlo Sartiani: Typing Regular Path Query Languages for Data Graphs. CoRR abs/1507.01708 (2015)