Resource integrating using a large knowledge base in carnot - Collet, C; Huhns, M; Shen, W-M (IEEE Computer, 1991)