T. Eiter: "Planning by Answer Set Programming - The DLV/K System"; Talk: Seminarvortrag, National Institute of Informations, Tokio, Japan (invited); 2004-03-09.