Mikhail Kazakov Habib Abdulrab Semi-Automated Software Integration: An Approach Based on Logical Inference. 527-530 2004 ICEIS (3) db/conf/iceis/iceis2004-3.html#KazakovA04