Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. Simplifying Logic Programs Under Uniform and Strong Equivalence. In Vladimir Lifschitz, Ilkka Niemelä, editors, Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Volume 2923 of Lecture Notes in Computer Science, pages 87-99, Springer, 2004. [doi]
@inproceedings{EiterFTW04,
title = {Simplifying Logic Programs Under Uniform and Strong Equivalence},
author = {Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=87},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/EiterFTW04},
cites = {0},
citedby = {0},
pages = {87-99},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
editor = {Vladimir Lifschitz and Ilkka Niemelä},
volume = {2923},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20721-X},
}