H. Tompits, S. Woltran: "On Simplifying and Rewriting Logic Programs: Characterisations and Complexity"; Talk: Seminarvortrag, Bratislava, Slowakei (invited); 2004-01-30.