@inproceedings{591444d02b0f4274889c120b724d4f80,
title = "Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs",
keywords = "answer set programming, extended resolution, propositional satisfiability, tableau method, answer set programming, extended resolution, propositional satisfiability, tableau method, answer set programming, extended resolution, propositional satisfiability, tableau method",
author = "Matti J{\"a}rvisalo and Emilia Oikarinen",
year = "2007",
language = "English",
pages = "134--148",
editor = "Ver{\'o}nica Dahl and Ilkka Niemel{\"a}",
booktitle = "23rd International Conference on Logic Programming (ICLP), Porto, Portugal, September 8-13, 2007",
publisher = "SPRINGER",
address = "Germany",
}