P.  Asirelli, Renso, C., and Turini, F., ?Language Extensions for Semantic Integration of Deductive Databases?, in Logic in Databases, 1996, pp. 415-434.