The following publications are possibly variants of this publication:
- A Z Approach in Validating ORA-SS Data ModelsScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan-Fang Li. ENTCS, 157(1):95-109, 2006. [doi]
- Reasoning About ORA-SS Data Models Using the Semantic WebYuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun 0001. jods, :219-241, 2006. [doi]
- A PVS Approach to Verifying ORA-SS Data ModelsScott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves. seke 2006: 126-131
- Designing Semistructured Databases Using ORA-SS ModelXiaoying Wu, Tok Wang Ling, Mong-Li Lee, Gillian Dobbie. wise 2001: 171 [doi]