@misc{indiciaefb723cc848cb,
  title = {Fixpoint Node Selection Query Languages for Trees},
  author = {Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Moshe Y. Vardi},
  year = {2018},
  url = {https://arxiv.org/abs/1509.08979},
  note = {Source identifier: 1509.08979}
}