The complexity of temporal logic over the reals
scientific article; zbMATH DE number 5943639
scientific article