W. Faber: "Logic-based Planning"; Talk: Seminarvortrag, University of Calabria, Italy (invited); 2002-05-31.