TY  - ELEC
AU  - Abrantes
TI  - Revision based total semantics for extended normal logic programs
PY  - 2013///
CY  - Monte de Caparica
PB  - M. A. R. G. A.
KW  - Lógica matemática
KW  - Teses
KW  - QA9
UR  - http://run.unl.pt/handle/10362/11315
ER  -