H. Veith: "Verfahren zur Komplexitätsreduktion im Model Checking"; Talk: Universität Saarbrücken, Saarbrücken, Deutschland (invited); 2002-01-02.