S. Woltran: "Complexity of Equivalence between Propositional Logic Programs"; Talk: Seminarvortrag, Bratislava, Slowakei (invited); 2004-11-05.