On Strong and Default Negation in Logic Program Updates

Authors

Martin Slota, Martin Balaz, João Leite,