%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 in System Design %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 = {2011-08-09T00:00:00.000+0200}, author = {Lee, Scott Uk-Jin and Dobbie, Gillian and Sun, Jing and Groves, Lindsay}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a03ee34b15715345e92896cd698ae7f8/dblp}, ee = {http://dx.doi.org/10.1007/s10703-010-0099-4}, interhash = {6be8b50d8f6c7e6d0ff2ce957dfd0708}, intrahash = {a03ee34b15715345e92896cd698ae7f8}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 1, pages = {1-60}, timestamp = {2016-02-02T01:14:20.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 }