TY - CONF T1 - Language Extensions for Semantic Integration of Deductive Databases T2 - Logic in Databases Y1 - 1996 A1 - Patrizia Asirelli A1 - Chiara Renso A1 - Franco Turini JF - Logic in Databases ER -