Leonid Libkin The finite model theory toolbox of a database theoretician. 65-76 2009 PODS http://doi.acm.org/10.1145/1559795.1559807 conf/pods/2009 db/conf/pods/pods2009.html#Libkin09