Alon Y. Levy;Alberto O. Mendelzon;Yehoshua Sagiv;Divesh Srivastava
-;-;-;-
Logic-based techniques in data integration
Logic-based artificial intelligence