Albors Iruretagoyena, Javier (2014-10-15)
We present a prototype that implements a set of logical rules to prove the
satis ability for a class of speci cations on XML documents. Speci cations
are given by means of constraints built on Boolean XPath patterns. ...