Default theory for well founded semantics with explicit negation (1992)

by L M Pereira, I J Alferes, J N Aparicio
Venue:Logics in AZ: Proc. of the European Workshop JELZA’92