Logic and Algebraic languages for interoperability in multidatabase systemsLaks V.S. LakshmananFereidoon Sadriet al.1997Journal of Logic Programming