Gottlob, G.; Hernich, A.; Kupke, C.; Lukasiewicz, T. Equality-Friendly Well-Founded Semantics and Applications to Description Logics. AAAI 2021, 26, 757-764.