Komplexitätstheoretische Untersuchungen zur Temporallogik - Wagner, Hubert (1992)