Leonid Libkin Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China PODS ACM 2007 db/conf/pods/pods2007.html 978-1-59593-685-1