H. Tompits: "On Encodings of Nested Logic Programs"; Talk: Seminarvortrag, Simon Fraser University, Burnaby, B.C., Canada (invited); 2002-09-17.