S. Woltran: "Deciding Equivalence between Extended Datalog Programs. A Brief Survey"; Talk: Datalog 2.0 Workshop, Oxford (invited); 2010-03-15 - 2010-03-19.