Enviar aquest missatge de text: XPath satisfiability in the presence of DTDs