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