Zhang, X., J. Van den Bussche, K. Wang, and Z. Wang. “On the Satisfiability Problem of Patterns in SPARQL 1.1”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32, no. 1, Apr. 2018, doi:10.1609/aaai.v32i1.11549.