Amit P. Sheth Sunit K. Gala Shamkant B. Navathe On Automatic Reasoning for Schema Integration. 23-50 1993 2 Int. J. Cooperative Inf. Syst. 1 db/journals/ijcis/ijcis2.html#ShethGN93