Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter. Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang Chiew Tan, Michael P. Fourman, editors, In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Volume 8000 of Lecture Notes in Computer Science, pages 273-290, Springer, 2013. [doi]
Abstract is missing.