XPath-logic and XPathLog: A logic-programming style XML data manipulation language - MAY, WOLFGANG (Theory and Practice of Logic Programming)