Boris Petkoff Artificial Intelligence and Computer Simulation of Scientific Discoveries. 19-34 1984 AIMSA db/conf/aimsa/aimsa1984.html#Petkoff84