Well founded semantics for logic programs with explicit negation (1992)

by L Pereira, J Alferes, J Aparicio
Venue:In Proc. of European Conference on AI