On mining XML integrity constraints. - Stanislav Fajt; Irena Mlynkova; Martin Necaský (ICDIM, 2011)