Equality and monodic first-order temporal logic
scientific article; zbMATH DE number 1880453