@misc{indiciaee20ef0653b7e,
  title = {Satisfiability and Containment of Recursive SHACL},
  author = {Paolo Pareti and George Konstantinidis and Fabio Mogavero},
  year = {2022},
  doi = {10.1016/j.websem.2022.100721},
  url = {https://arxiv.org/abs/2108.13063},
  note = {Source identifier: 2108.13063}
}