Amar Isli A TCSP-like decidable constraint language generalising existing cardinal direction relations http://arxiv.org/abs/cs.AI/0409046 2004 CoRR cs.AI/0409046 db/journals/corr/corr0409.html#cs-AI-0409046