1. Altman, R. (1989).Exclusion methods for the determination of protein structure from experimental data. Ph.D. thesis, Stanford University Medical Information Sciences, Stanford, CA.
2. Bertrand, K., & Yanofsky, C. (1976). Regulation of transcription termination in the leader region of the tryptophan operon ofE. coli involves tryptophan or its metabolic product.Journal of Molecular Biology, 103, 339?349.
3. Buchanan, B., & Mitchell, T. (1978). Model-directed learning of production rules. InPattern-Directed Inference Systems. New York: Academic Press.
4. Chapman, D. (1987). Planning for conjunctive goals.Artificial Intelligence, 32, 333?377.
5. Dietterich, T. (1984).Constraint propagation techniques for theory-driven data interpretation. Ph.D. thesis, Stanford University, Stanford, CA. Also STAN-CS-84-1030 and HPP Report 84?46.