Chitta Baral Sarit Kraus Jack Minker V. S. Subrahmanian Combining Knowledge Bases Consisting of First Order Theories. 92-101 1991 conf/ismis/1991 ISMIS db/conf/ismis/ismis91.html#BaralKMS91 http://dx.doi.org/10.1007/3-540-54563-8_73