Well founded semantics for logic programs with explicit negation - Pereira, L.M. (2019)