Laks V. S. Lakshmanan Fereidoon Sadri Iyer N. Subramanian Logic and Algebraic Languages for Interoperability in Multidatabase Systems. 101-149 1997 33 J. Log. Program. 2 db/journals/jlp/jlp33.html#LakshmananSS97