Gebser, M., Puehrer, J., Schaub, T., & Tompits, H. (2008). A Meta-Programming Technique for Debugging Answer-Set Programs. In D. Fox & C. P. Gomes (Eds.), AAAI-08/IAAI-08 Proceedings (pp. 448–453). http://hdl.handle.net/20.500.12708/52303 ( reposiTUm)

Gebser, M., Schaub, T., Tompits, H., & Woltran, S. (2008). Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. In S. Hartmann & G. Kern-Isberner (Eds.), Foundations of Information and Knowledge Systems. Springer LNCS. https://doi.org/10.1007/978-3-540-77684-0_5 ( reposiTUm)

Puehrer, J., Tompits, H., & Woltran, S. (2008). Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. In M. G. de la Banda & E. Pontelli (Eds.), Logic Programming. Springer LNCS. https://doi.org/10.1007/978-3-540-89982-2_47 ( reposiTUm)

Oetsch, J., & Tompits, H. (2008). Program Correspondence under the Answer-Set Semantics: The Non-ground Case. In M. G. de la Banda & E. Pontelli (Eds.), Logic Programming (pp. 591–605). Springer LNCS. https://doi.org/10.1007/978-3-540-89982-2_49 ( reposiTUm)

Oetsch, J., & Tompits, H. (2008). A Generalised Program-Correspondence Framework: Preliminary Report. In S. Schwarz (Ed.), 22nd Workshop on (Constraint) Logic Programming (pp. 72–82). Technical Report, University Halle-Wittenberg, Institute of Computer Science. http://hdl.handle.net/20.500.12708/52542 ( reposiTUm)

Delgrande, J. P., Schaub, T., Tompits, H., & Woltran, S. (2008). Belief Revision of Logic Programs under Answer Set Semantics. In G. Brewka & J. Lang (Eds.), Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR’08) (pp. 411–421). AAAI Press. http://hdl.handle.net/20.500.12708/52555 ( reposiTUm)

Faber, W., Tompits, H., & Woltran, S. (2008). Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. In G. Brewka & J. Lang (Eds.), Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR’08) (pp. 433–443). AAAI Press. http://hdl.handle.net/20.500.12708/52556 ( reposiTUm)