SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. - Javier Albors; Marisa Navarro (PROLE, 2014)