Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung - Kick, Alexander (1996)