Els Laenens, Dirk Vermeir. A Universal Fixpoint Semantics for Ordered Logic. Computers and Artificial Intelligence, 19(3):221-254, 2000.
@article{LaenensV00, title = {A Universal Fixpoint Semantics for Ordered Logic}, author = {Els Laenens and Dirk Vermeir}, year = {2000}, tags = {semantics, logic}, researchr = {https://researchr.org/publication/LaenensV00}, cites = {0}, citedby = {0}, journal = {Computers and Artificial Intelligence}, volume = {19}, number = {3}, pages = {221-254}, }