Maintaining Data Consistency of XML Databases Using Verification Techniques. - Khandoker Asadul Islam; Yoshimichi Watanabe (ASIAN, 2006)