S. Woltran: "Solution Correspondences in Answer-Set Programming: An Overview"; Talk: Seminarvortrag, Universidad Rey Juan Carlos, Mostoles, Spanien (invited); 2005-10-06.