A. Charalambidis and P. Rondogiannis, “Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming”, Acta Cybern, vol. 23, no. 1, pp. 319-326, Jan. 2017.