Laenens, E. and Vermeir, D. 2012. A universal fixpoint semantics for ordered logic. Computing and Informatics. 19, 3 (Mar. 2012), 221–254.