S. Woltran: "Survey of Equivalences in ASP"; Talk: Seminarvortrag, Universitaet Potsdam (invited); 2005-11-23.