Expressive power of ``now'' and ``then'' operators
scientific article; zbMATH DE number 6600700
scientific article