A Characterisation of First-Order Constraint Satisfaction Problems.

Benot Larose, Cynthia Loten, Claude Tardif

Browse the full LICS paper archive.