An initial study of time complexity in infinite-domain constraint satisfaction
scientific article; zbMATH DE number 6689858
scientific article