@inproceedings{62f93dafdd7b40399fd08478adae48a6,
title = "Strong and explicit negation in non-monotonic reasoning and logic programming",
keywords = "Logic programming, stable models, Semantics",
author = "Alferes, {Jos{\'e} J{\'u}lio Alves} and L.M. Pereira and Przymusinski, {Teodor C.}",
year = "1996",
month = jan,
day = "1",
doi = "10.1007/3-540-61630-6_10",
language = "English",
isbn = "3-540-61630-6",
volume = "1126",
pages = "143--163",
booktitle = "Lecture Notes in Artificial Intelligence",
note = "Logics in Artificial Intelligence ; Conference date: 01-01-1996",
}