%0 Journal Article %1 journals/fmsd/LeeDSG10 %A Lee, Scott Uk-Jin %A Dobbie, Gillian %A Sun, Jing %A Groves, Lindsay %D 2010 %J Formal Methods Syst. Des. %K dblp %N 1 %P 1-60 %T Theorem prover approach to semistructured data design. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd37.html#LeeDSG10 %V 37

@article{journals/fmsd/LeeDSG10, added-at = {2020-03-13T00:00:00.000+0100}, author = {Lee, Scott Uk-Jin and Dobbie, Gillian and Sun, Jing and Groves, Lindsay}, biburl = {https://www.bibsonomy.org/bibtex/2d5fc38d87774ab11ab42480e4a0a2a78/dblp}, ee = {https://doi.org/10.1007/s10703-010-0099-4}, interhash = {6be8b50d8f6c7e6d0ff2ce957dfd0708}, intrahash = {d5fc38d87774ab11ab42480e4a0a2a78}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {1-60}, timestamp = {2020-03-14T11:51:17.000+0100}, title = {Theorem prover approach to semistructured data design.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd37.html#LeeDSG10}, volume = 37, year = 2010 }