\begin{thebibliography}{10}

\bibitem{AKSF83}
Janice~S. Aikins, John~C. Kunz, Edward~H. Shortliffe, and R.~J. Fallat.
\newblock Puff: An expert system for interpretation of pulmonary function data.
\newblock 16:199--208, 1983.

\bibitem{Clocksin}
W.~F. Clocksin and C.~S. Mellish.
\newblock {\em Programming in Prolog}.
\newblock Springer-Verlag, 1981.

\bibitem{Dendral}
E.~A. Feigenbaum, B.~G. Buchanan, and J.~Lederberg.
\newblock On generality and problem solving: A case study using the {DENDRAL}
  program.
\newblock In B.~Meltzer and D.~Michie, editors, {\em Machine Intelligence 6},
  pages 165--190. American Elsevier, New York, 1971.

\bibitem{Friedland}
P.~et~al Friedland.
\newblock {GENESIS}: A knowledge-based genetic engineering simulation system
  for representation of genetic data and experiment planning.
\newblock {\em Nucleic Acids Research}, 10(1), 1982.

\bibitem{Koton83}
Phyllis~A. Koton.
\newblock A system to aid in the solution of problems in molecular genetics.
\newblock Unpublished SM thesis, 1983.

\bibitem{Mitchell83}
Tom Mitchell.
\newblock Learning and problem solving.
\newblock 1983.

\bibitem{Patil}
Ramesh~S. Patil.
\newblock Causal representation of patient illness for electrolyte and
  acid-base diagnosis.
\newblock Technical Report 267, October 1981.

\bibitem{Rosenberg79}
M.~Rosenberg and D.~Court.
\newblock Regulatory sequences involved in the promotion and termination of rna
  transcription.
\newblock {\em Ann. Rev. Genetics}, 13:319--353, 1979.

\bibitem{sace}
Earl~D. Sacerdoti.
\newblock Planning in a hierarchy of abstraction spaces.
\newblock 5:115--135, 1974.

\bibitem{Smith}
Brian~C. Smith.
\newblock A proposal for a computational model of anatomical and physiological
  reasoning.
\newblock Technical Report 493, 1978.

\bibitem{Stefik81a}
Mark Stefik.
\newblock Planning with constraints ({\sc molgen}: Part 1).
\newblock 16:111--140, {\noopsort{1981a}}1981.

\bibitem{Stefik81b}
Mark Stefik.
\newblock Planning and meta-planning ({\sc molgen}: Part 2).
\newblock 16:141--170, {\noopsort{1981b}}1981.

\bibitem{SwartoutPhD}
William~R. Swartout.
\newblock Producing explanations and justifications of expert consulting
  programs.
\newblock Technical Report 251, January 1981.

\bibitem{watson}
J.~D. Watson.
\newblock {\em Molecular Biology of the Gene}.
\newblock W. A. Benjamin, Menlo Park, third edition, 1970.

\bibitem{Weld84a}
Daniel~Sabey Weld.
\newblock Switching between discrete and continuous process models to predict
  genetic activity.
\newblock Technical Report 793, May 1984.

\bibitem{winston78}
Patrick~H. Winston.
\newblock Learning by creating transfer frames for understanding natural
  language.
\newblock {\em Artificial Intelligence}, 10:147--172, 1978.

\end{thebibliography}
