Exploiting the HEF property to check model minimality

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.

@inproceedings{AngiulliBFP15,
  title = {Exploiting the HEF property to check model minimality},
  author = {Fabrizio Angiulli and Rachel Ben-Eliyahu-Zohary and Fabio Fassetti and Luigi Palopoli},
  year = {2015},
  researchr = {https://researchr.org/publication/AngiulliBFP15},
  cites = {0},
  citedby = {0},
  pages = {351-357},
  booktitle = {23rd Italian Symposium on Advanced Database Systems, SEBD 2015, Gaeta, Italy, June 14-17, 2015},
  editor = {Domenico Lembo and Riccardo Torlone and Andrea Marrella},
  publisher = {Curran Associates, Inc.},
  isbn = {978-1-5108-1087-7},
}