Plangenerierung und nichtklassische Logiken Seminar Sommer 1989 (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1990)