TY  - RPRT
TI  - Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets
AU  - Manuel Bodirsky
AU  - Dugald Macpherson
AU  - Johan Thapper
PY  - 2011
UR  - https://arxiv.org/abs/1111.6616
ID  - 1111.6616
ER  -