S. Woltran: "Complexity Results for Checking Equivalence of Stratified Logic Programs"; Talk: Seminarvortrag, Universitaet Potsdam, Institut fuer Informatik (invited); 2006-07-13.