@inproceedings{APSEC.2004.46-53,
 author = {Yue Tang and Jing Sun and Jin Song Dong and Brendan Mahony},
 title = {{Reasoning about Semantic Web in Isabelle/HOL}},
 booktitle = {APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference},
 location = {Busan, Korea},
 month={December},
 year = {2004},
 isbn = {0-7695-2245-9},
 pages = {46-53},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA},
 url = {http://ieeexplore.ieee.org/iel5/9444/29994/01371904.pdf}
}