Laenens, E.; Vermeir, D. A Universal Fixpoint Semantics for Ordered Logic. Comput. Inform. 2012, 19, 221-254.