Fiora Pirri Clara Pizzuti Explaining Incompatibilities in Data Dictionary Design through Abduction. 101-139 1994 13 Data Knowl. Eng. 2 db/journals/dke/dke13.html#PirriP94