Karp, P. D. Hypothesis Formation and Qualitative Reasoning in Molecular Biology. AIMag 1990, 11, 9.