Els Laenens Dirk Vermeir Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. 133-172 1992 2 J. Log. Comput. 2 db/journals/logcom/logcom2.html#LaenensV92