IFIP Paper 1971 - "The Heuristic DENDRAL Program for Explaining Empirical Data."