@inproceedings{ICECCS.2008.15-24,
 author = {Scott Uk-Jin Lee and Jing Sun and Gillian Dobbie and Lindsay Groves},
 title = {{Verifying Semistructured Data Normalization using PVS}},
 booktitle = {ICECCS '08: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems},
 month = {April},
 year = {2008},
 location = {Belfast, Northern Ireland}, 
 pages = {15-24},
 isbn = {978-0-7695-3139-7},
 doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2008.23},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}