@misc{indiciaee10c13766cad,
  title = {SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents},
  author = {Javier Albors and Marisa Navarro},
  year = {2015},
  doi = {10.4204/eptcs.173.3},
  url = {https://arxiv.org/abs/1501.02032},
  note = {Source identifier: 1501.02032}
}