Adding closed world assumptions to well-founded semantics (1994)

by L M Pereira, J J Alferes, J N Aparcio
Venue:Theoretical Computer Science