Thi Dieu Thu Nguyen Nhan Le Thanh Identification constraints in SHOIN(D). 229-238 2007 conf/rcis/2007 RCIS db/conf/rcis/rcis2007.html#NguyenT07