IFIP PAPER - The Heuristic DENDRAL Program for Explaining Empirical Data