G. Gottlob, A. Hernich, C. Kupke, and T. Lukasiewicz, “Equality-Friendly Well-Founded Semantics and Applications to Description Logics”, AAAI, vol. 26, no. 1, pp. 757–764, Sep. 2021.