The finite models of a universal sentence Φ in a finite relational
signa...
The finite models of a universal sentence Φ are the age of a structure
i...
The constraint satisfaction problem (CSP) of a first-order theory T is t...
Finite-domain constraint satisfaction problems are either solvable by
Da...