A characterisation of first-order constraint satisfaction problems (0)

by B Larose, C Loten, C Tardif
Venue:Log. Methods Comput. Sci