COMBINING KNOWLEDGE BASES CONSISTING OF FIRST-ORDER THEORIES. Baral, C., Kraus, S., Minker, J., & Subrahmanian, V. S. Computational intelligence, 8(1):45–71, Blackwell Publishing Ltd Oxford, UK, 1992. bibtex @article{baral1992combining,
title={COMBINING KNOWLEDGE BASES CONSISTING OF FIRST-ORDER THEORIES},
author={Baral, Chitta and Kraus, Sarit and Minker, Jack and Subrahmanian, Venkataram Subram},
journal={Computational intelligence},
volume={8},
number={1},
pages={45--71},
year={1992},
publisher={Blackwell Publishing Ltd Oxford, UK}
}