(1)
Zhang, X.; Van den Bussche, J.; Wang, K.; Wang, Z. On the Satisfiability Problem of Patterns in SPARQL 1.1. AAAI 2018, 32.