Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli. Exploiting the HEF property to check model minimality. In Domenico Lembo, Riccardo Torlone, Andrea Marrella, editors, 23rd Italian Symposium on Advanced Database Systems, SEBD 2015, Gaeta, Italy, June 14-17, 2015. pages 351-357, Curran Associates, Inc., 2015.
Abstract is missing.