Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Adding Closed World Assumptions to Well-Founded Semantics. 49-68 1994 122 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs122.html#PereiraAA94