Tractable Set Constraints. - Manuel Bodirsky; Martin Hils; Alex Krimkevitch (IJCAI, 2011)