@article{satisfiabilityandcontainmentofrecursive, title = {Satisfiability and Containment of Recursive SHACL}, author = {Paolo Pareti and George Konstantinidis and Fabio Mogavero}, year = {2021}, eprint = {2108.13063}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2108.13063v2}, }