The decision problem for some logics for finite words on infinite alphabets
scientific article; zbMATH DE number 5659081