Simplifying Logic Programs Under Uniform and Strong Equivalence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Thomas Eiter' in GoogleThis author has not been identified. Look up 'Michael Fink' in GoogleThis author has not been identified. Look up 'Hans Tompits' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL