Publisher
Springer International Publishing
Reference51 articles.
1. Amarilli, A., Benedikt, M., Bourhis, P., Vanden Boom, M.: Query answering with transitive and linear-ordered data. In: IJCAI 2016, pp. 893–899 (2016)
2. Al Bassit, A., Krasnashchok, K., Skhiri, S., Mustapha, M.: Automated Compliance Checking with SHACL (2020)
3. Andresel, M., Corman, J., Ortiz, M., Reutter, J.L., Savkovic, O., Simkus, M.: Stable model semantics for recursive SHACL. In: Proceedings of The Web Conference 2020, pp. 1570–1580. WWW 2020 (2020)
4. Benedikt, M., et al.: Benchmarking the chase. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, pp. 37–52. ACM (2017)
5. Berger, R.: The undecidability of the domino problem. MAMS 66, 1–72 (1966)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献