H. Tompits: "On Encodings of Nested Logic Programs"; Talk: Seminarvortrag, Universität Leipzig, Institut für Informatik (invited); 2002-12-11.