Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme - Schweitzer, Dirk Stephan (Verfasser) (Technische Universität Darmstadt, 2007)