Gillian Dobbie Jing Sun Yuan-Fang Li Scott Uk-Jin Lee Towards Verifying Semistructured Data. 11-14 2007 APCCM http://crpit.com/abstracts/CRPITV67Dobbie.html conf/apccm/2007 db/conf/apccm/apccm2007.html#DobbieSLL07