On finite domains in first-order linear temporal logic
scientific article; zbMATH DE number 6965627