Journal articles

• Martin Slota, Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Answer-Set Program Update, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, 2014.
• Martin Slota and João Alexandre Leite, The rise and fall of semantic rule updates based on SE-models, Theory and Practice of Logic Programming, Vol. 14, No. 6, Pag. 869-907, ISSN 1475-3081, (url), 2014.