M. Benedikt, B. Motik, and E. Tsamoura, “Goal-Driven Query Answering for Existential Rules With Equality”, AAAI, vol. 32, no. 1, Apr. 2018.