@inproceedings{SEKE.2006.126-131,
 author = {Scott Uk-Jin Lee and Gillian Dobbie and Jing Sun and Lindsay Groves},
 title = {{A PVS Approach to Verifying ORA-SS Data Models}},
 booktitle = {SEKE '06: Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering},
 month = {July},
 year = {2006},
 location = {San Francisco Bay, USA},
 pages = {126-131},
 publisher = {Knowledge Systems Institute Graduate School},
 address = {Skokie, Illinois, USA}
}