Benedikt, M.; Motik, B.; Tsamoura, E. Goal-Driven Query Answering for Existential Rules With Equality. AAAI 2018, 32.