@article {FMSD.2010.1-60, author = {Scott Uk-Jin Lee and Gillian Dobbie and Jing Sun and Lindsay Groves}, title = {{Theorem Prover Approach to Semistructured Data Design}}, journal = {Formal Methods in System Design}, publisher = {Springer Netherlands}, issn = {0925-9856}, pages = {1-60}, volume = {37}, issue = {1}, url = {http://dx.doi.org/10.1007/s10703-010-0099-4}, note = {10.1007/s10703-010-0099-4}, month = {November}, year = {2010} }