Towards a general scientific reasoning engine - Carbonell, Jaime G. (CMU-CS ;, 1983)