Johan van Benthem Balder ten Cate Jouko A. Väänänen Lindström theorems for fragments of first-order logic http://arxiv.org/abs/0905.3668 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0905-3668 3