E. Laenens and D. Vermeir, “A universal fixpoint semantics for ordered logic”, Comput. Inform., vol. 19, no. 3, pp. 221–254, Mar. 2012.