TY  - RPRT
TI  - On Strong and Default Negation in Logic Program Updates (Extended Version)
AU  - Martin Slota
AU  - Martin Baláz
AU  - João Leite
PY  - 2014
UR  - https://arxiv.org/abs/1404.6784
ID  - 1404.6784
ER  -