The following publications are possibly variants of this publication:
- Verifying Semistructured Data Normalization Using PVSScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves. ICECCS 2008: 15-24 [doi]
- Reasoning Support for SWRL-FOL Using AlloyHai H. Wang, Jin Song Dong, Jing Sun. seke 2005: 626-631
- Research into Verifying Semistructured DataGillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee. icdcit 2006: 361-374 [doi]
- Towards Verifying Semistructured DataGillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee. apccm 2007: 11-14 [doi]
- Correctness Criteria for Normalization of Semistructured DataScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li. ASWEC 2008: 248-257 [doi]
- Formal Verification of Semistructured Data Models in PVSScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves. jucs, 15(1):241-272, 2009. [doi]
- A Teaching Strategies Engine Using Translation from SWRL to JessEric Wang, Yong Se Kim. its 2006: 51-60 [doi]
- Validating Semistructured Data Using OWLYuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun 0001, Hai H. Wang. waim 2006: 520-531 [doi]