Rajeev Alur. Marrying words and trees. In Leonid Libkin, editor, Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China. pages 233-242, ACM, 2007. [doi]
Abstract is missing.