TY  - RPRT
TI  - SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
AU  - Javier Albors
AU  - Marisa Navarro
PY  - 2015
DO  - 10.4204/eptcs.173.3
UR  - https://arxiv.org/abs/1501.02032
ID  - 1501.02032
ER  -