X. Zhang, J. Van den Bussche, K. Wang, and Z. Wang, “On the Satisfiability Problem of Patterns in SPARQL 1.1”, AAAI, vol. 32, no. 1, Apr. 2018.