Christine Collet, Michael N. Huhns, Wei-Min Shen: Resource Integration Using a Large Knowledge Base in Carnot. Computer 24(12): 55-62 (1991)