Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. Adding Closed World Assumptions to Well-Founded Semantics. Theoretical Computer Science, 122(1&2):49-68, 1994.
@article{PereiraAA94,
title = {Adding Closed World Assumptions to Well-Founded Semantics},
author = {Luís Moniz Pereira and José Júlio Alferes and Joaquim Nunes Aparício},
year = {1994},
tags = {semantics},
researchr = {https://researchr.org/publication/PereiraAA94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {122},
number = {1&2},
pages = {49-68},
}