Sven Hartmann, Sebastian Link, Thu Trinh. Solving the Implication Problem for XML Functional Dependencies with Properties. In Anuj Dawar, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Volume 6188 of Lecture Notes in Computer Science, pages 161-175, Springer, 2010. [doi]
Abstract is missing.