Olivier Finkel On Decidability Properties of Local Sentences http://arxiv.org/abs/0712.0164 2007 CoRR abs/0712.0164 db/journals/corr/corr0712.html#abs-0712-0164 informal publication