W. Faber: "Answer Set Programming"; Talk: Seminarvortrag, University of Messina, Italy (invited); 2002-05-27.