Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin http://arxiv.org/abs/0811.0537 2008 CoRR abs/0811.0537 db/journals/corr/corr0811.html#abs-0811-0537 informal publication