KazakovA04'

@inproceedings{DBLP:conf/iceis/KazakovA04,
  author    = {Mikhail Kazakov and
               Habib Abdulrab},
  title     = {Semi-Automated Software Integration: An Approach Based on
               Logical Inference},
  booktitle = {ICEIS (3)},
  year      = {2004},
  pages     = {527-530},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}