Jin Song Dong Chew Hung Lee Yuan-Fang Li Hai H. Wang Verifying DAML+OIL and Beyond in Z/EVES. 201-210 2004 conf/icse/2004 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317442 db/conf/icse/icse2004.html#DongLLW04