TY  - RPRT
TI  - Satisfiability and Containment of Recursive SHACL
AU  - Paolo Pareti
AU  - George Konstantinidis
AU  - Fabio Mogavero
PY  - 2022
DO  - 10.1016/j.websem.2022.100721
UR  - https://arxiv.org/abs/2108.13063
ID  - 2108.13063
ER  -