Relativized Hyperequivalence of Logic Programs for Modular Programming

Miroslaw Truszczynski, Stefan Woltran. Relativized Hyperequivalence of Logic Programs for Modular Programming. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 576-590, Springer, 2008. [doi]

Abstract

Abstract is missing.