Leonid Libkin Victor Vianu Introduction to PODS 2007 special section. 2009 56 J. ACM 6 http://doi.acm.org/10.1145/1568318.1568319 db/journals/jacm/jacm56.html#LibkinV09