\relax 
\@writefile{toc}{\contentsline {chapter}{List of Tables}{vii}}
\@writefile{toc}{\contentsline {chapter}{List of Figures}{ix}}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {chapter}{Abstract}{x}}
\@writefile{toc}{\contentsline {chapter}{Acknowledgments}{xii}}
\citation{MENZIES95e}
\citation{AAAI90}
\citation{MENZIESPHD}
\citation{SELMAN90}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Aims and Significance of Research}{1}}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Statement of Reasearch Problem}{2}}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Research Methods and Plans}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.1}Scope}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.2}Limitations}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Thesis Outline}{4}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Inference}{5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{INFERENCE}{{2}{5}}
\citation{BYLANDER91}
\citation{CONSOLE91b}
\citation{MENZIESPHD}
\citation{POOLE90}
\citation{SELMAN90}
\citation{PEARL87}
\citation{BYLANDER91}
\citation{CONSOLE91a}
\citation{MENZIESPHD}
\citation{MENZIES95e}
\citation{MENZIESPHD}
\citation{CONSOLE91a}
\citation{MENZIESPHD}
\citation{POPLE73}
\citation{REGGIA85}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Abductive Inference}{6}}
\newlabel{ABDUCTION}{{2.1}{6}}
\citation{CONSOLE91a}
\citation{CONSOLE91a}
\citation{CONSOLE91a}
\citation{CONSOLE91a}
\citation{POOLE89}
\citation{DEKLEER89}
\citation{STRUSS89}
\citation{CONSOLE91a}
\citation{CONSOLE91a}
\citation{ZLATAREVA94}
\citation{MENZIES95e}
\citation{MENZIESPHD}
\citation{PREECE92b}
\citation{PREECE92b}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Testing}{9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Verification}{9}}
\citation{PREECE92b}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Anomalies}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Verification Tools}{10}}
\citation{SUWA82}
\citation{GINSBERG88a}
\citation{DEKLEER86a}
\@writefile{toc}{\contentsline {subsubsection}{Rule Checker Program}{11}}
\citation{GINSBERG87}
\citation{DEKLEER86a}
\citation{PREECE92a}
\@writefile{toc}{\contentsline {subsubsection}{The KB-Reducer Algorithm}{12}}
\citation{CHANG90}
\@writefile{toc}{\contentsline {subsubsection}{The EVA system}{13}}
\newlabel{EVA:verification}{{3.1.2}{13}}
\citation{PREECE92b}
\citation{PREECE92a}
\citation{MENZIES95e}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}Discussion}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.4}HT4 and Verification}{14}}
\citation{MENZIES95d}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Validation}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Validation Facility}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Refinement Facility}{15}}
\@writefile{toc}{\contentsline {subsubsection}{Test Case Generation Facility}{15}}
\citation{ZLATAREVA94}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Dynamic Validation}{16}}
\citation{POLITAKIS85}
\citation{CHANG90}
\@writefile{toc}{\contentsline {subsubsection}{Empirical Approach}{17}}
\@writefile{toc}{\contentsline {subsubsection}{Logical Approach}{17}}
\citation{GINSBERG88b}
\citation{ZLATAREVA93}
\citation{ZLATAREVA94}
\citation{ZLATAREVA92}
\citation{MENZIES95e}
\@writefile{toc}{\contentsline {subsubsection}{Operational Approach}{19}}
\citation{OURSTON90}
\citation{DURAN84}
\citation{SHWE89}
\citation{ZLATAREVA94}
\citation{ZLATAREVA94}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsubsection}{Machine Learning Approach}{20}}
\newlabel{EITHER:validation}{{3.2.1}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Static Validation}{20}}
\@writefile{toc}{\contentsline {subsubsection}{Random Test Case Generation}{20}}
\citation{ZLATAREVA94}
\citation{ZLATAREVA94}
\citation{RUSHBY90}
\citation{MILLER90}
\@writefile{toc}{\contentsline {subsubsection}{Structured-based Test Case Generation}{21}}
\@writefile{toc}{\contentsline {subsubsection}{Functional-based Test Case Generation}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}Validation Systems}{21}}
\@writefile{toc}{\contentsline {subsubsection}{The Generic Testing Method}{21}}
\citation{CHANG90}
\citation{ZLATAREVA94}
\@writefile{toc}{\contentsline {subsubsection}{EVA Test Case Generator Tools}{22}}
\citation{ZLATAREVA94}
\citation{SHWE89}
\citation{ZLATAREVA94}
\citation{MARS87}
\citation{SHWE89}
\citation{SHWE89}
\citation{ZLATAREVA94}
\citation{MENZIES95d}
\citation{MENZIES94a}
\citation{ZLATAREVA93}
\@writefile{toc}{\contentsline {subsubsection}{ONCOCIN ScriptGen}{23}}
\citation{MENZIES95d}
\citation{MENZIES94a}
\citation{MENZIES94a}
\citation{MENZIESPHD}
\citation{FELDMAN89}
\citation{SMYTHE89}
\citation{MENZIES95e}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.4}HT4 and Validation}{24}}
\newlabel{HT4:validation}{{3.2.4}{24}}
\@writefile{toc}{\contentsline {subsubsection}{HT4 Results}{24}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Overview of HT4}{26}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{HT4:definition}{{4}{26}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Describing HT4}{26}}
\citation{CONSOLE91a}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}An example using HT4}{28}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Theory, $T$, which explains 60\% of the observations.}}{29}}
\newlabel{fig1a}{{4.1}{29}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.2}{\ignorespaces The edges, $E$, tacit in Figure\penalty \@M \ 4.1\hbox {}.}}{29}}
\newlabel{fig1b}{{4.2}{29}}
\citation{MENZIES95c}
\citation{CONSOLE91a}
\citation{MENZIES95c}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}HT4 and Abduction}{31}}
\citation{POPLE73}
\citation{CONSOLE91a}
\@writefile{lot}{\contentsline {table}{\numberline {4.1}{\ignorespaces This table illustrates how HT4 can be mapped into the above definition of abduction.}}{32}}
\newlabel{HT4:Abduction}{{4.1}{32}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Applications of HT4}{32}}
\citation{MENZIESPHD}
\citation{CONSOLE91a}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}Model-Based Diagnosis}{33}}
\citation{MENZIESPHD}
\citation{LEAKE91}
\citation{PARIS87}
\@writefile{lot}{\contentsline {table}{\numberline {4.2}{\ignorespaces (Console et al 1991) versus (Menzies 1995)}}{34}}
\newlabel{Menzies:Console}{{4.2}{34}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}Prediction}{34}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}Explanation}{34}}
\citation{LEAKE93}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}Classification}{35}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.5}Planning}{35}}
\citation{KANOVICH91}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.6}Monitoring}{36}}
\citation{MENZIES94a}
\citation{PREECE92b}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.7}Validation}{37}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Generality in Non-Abductive Domains}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}Deduction}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.2}KBS Verification}{37}}
\citation{PREECE92b}
\@writefile{lot}{\contentsline {table}{\numberline {4.3}{\ignorespaces Hierarchy of Anomolies}}{38}}
\newlabel{ANOMALY:HIERARCHY}{{4.3}{38}}
\@writefile{toc}{\contentsline {subsubsection}{Redundancy}{38}}
\citation{SILVERMAN92}
\@writefile{toc}{\contentsline {subsubsection}{Ambivalence}{39}}
\@writefile{toc}{\contentsline {subsubsection}{Circularity}{39}}
\@writefile{toc}{\contentsline {subsubsection}{Deficiency}{39}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.3}Expert Critiquing Systems}{39}}
\citation{KENG96}
\citation{MENZIES95c}
\citation{SELMAN90}
\citation{BYLANDER91}
\citation{MENZIES95c}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Practicality of HT4}{41}}
\citation{MENZIES94a}
\citation{MENZIES94a}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3}{\ignorespaces The Pendrith limit of HT4 occurs at $|E|/|V|=7$}}{42}}
\newlabel{fig2a}{{4.3}{42}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.4}{\ignorespaces Practical limit to testing occurs at $|V|=850$}}{43}}
\newlabel{fig2b}{{4.4}{43}}
\@writefile{toc}{\contentsline {section}{\numberline {4.7}System Outline}{43}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.5}{\ignorespaces System chart of hypothesis testing}}{43}}
\newlabel{SYSTEM}{{4.5}{43}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.1}System Files}{43}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.2}The Dependency Network}{45}}
\newlabel{sec:ER}{{4.7.2}{45}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.6}{\ignorespaces E-R diagram of categories in the dependency network.}}{46}}
\newlabel{CATEGORY}{{4.6}{46}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.7}{\ignorespaces E-R diagram of the entities within the categories of figure \penalty \@M \ 4.6\hbox {}.}}{49}}
\newlabel{NETWORK}{{4.7}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.3}The Data and Network Parser}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {4.8}The Data Compiler}{51}}
\@writefile{lot}{\contentsline {table}{\numberline {4.4}{\ignorespaces Sample experimental data from Smythe 87 model}}{52}}
\newlabel{smythe87:data}{{4.4}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.8}{\ignorespaces Smythe 87 model developed to explain the connections between serum adrenocorticotropin (acth), serum corticosterone (cortico), and neuro-noradrenergic activity (nna).}}{52}}
\newlabel{smythe87:model}{{4.8}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.9}{\ignorespaces Using a model compiler, we are able to expand the model in figure \penalty \@M \ 4.8\hbox {} to this dependency graph.}}{53}}
\newlabel{smythe87:network}{{4.9}{53}}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}The HT4 Algorithm}{56}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{PSEUDO}{{5}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Introduction}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Pseudo-Code}{56}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}Models as Data Structures}{56}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Models as Graphs}{58}}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Behaviours}{59}}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.4}Proofs}{61}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.5}Worlds}{61}}
\citation{MENZIESPHD}
\citation{DEKLEER86a}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.6}Bitstrings}{62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.7}The HT4 Algorithm}{63}}
\@writefile{toc}{\contentsline {subsubsection}{Overview}{63}}
\@writefile{toc}{\contentsline {subsubsection}{Pseudo-Code}{64}}
\citation{MENZIESPHD}
\citation{MENZIESPHD}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Best Assessment Operators}{81}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Differences in Pseudo-Code}{83}}
\citation{MENZIESPHD}
\citation{SMYTHE89}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}The Smythe '89 study}{86}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces This table compares different versions of HT4.}}{87}}
\newlabel{VERSIONS}{{6.1}{87}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Optimisations}{89}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{STROUSTRUP95}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Program Optimizations}{90}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Code Optimization}{90}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Memory Usage}{90}}
\@writefile{lot}{\contentsline {table}{\numberline {7.1}{\ignorespaces This table compares the different stages of optimisation. Note that these results have been produced on a Sparc workstation running at 75MHz.}}{91}}
\newlabel{TABLE1}{{7.1}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Algorithmic Optimisations}{91}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}Transitive Closure}{91}}
\@writefile{toc}{\contentsline {subsubsection}{Description of Transitive Closure}{91}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces An example theory that does not explain \textbf  {bb}.}}{92}}
\newlabel{4strin1:the}{{7.1}{92}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.2}{\ignorespaces The edges tacit in the example theory of figure \penalty \@M \ 7.1\hbox {}.}}{92}}
\newlabel{4strin1:net}{{7.2}{92}}
\citation{SEDGEWICK88}
\@writefile{toc}{\contentsline {subsubsection}{Results of Transitive Closure}{95}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}Single World Assumption}{95}}
\@writefile{lot}{\contentsline {table}{\numberline {7.2}{\ignorespaces This table compares different algorithmic optimisations made to the HT4 algorithm. Note that these results have been produced on an Intel Pentium PC, running at 133MHz, under Linux. Notice that the measurements for the transitive closure optimisation is not available, since this optimisation exceeded virtual memory on the PC.}}{96}}
\newlabel{TABLE2:INTEL}{{7.2}{96}}
\@writefile{toc}{\contentsline {subsubsection}{Description of Single World Assumption}{96}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.3}{\ignorespaces An example theory which explains 60\% of the observables.}}{96}}
\newlabel{8twox:the}{{7.3}{96}}
\@writefile{lot}{\contentsline {table}{\numberline {7.3}{\ignorespaces This table compares the different algorithmic optimisations made to the HT4 algorithm. Note that these results have been produced on a Sparc workstation, running at 50MHz, under SunOS. Notice that there is no difference in the mean explicables, and the mean percent reachable vertices.}}{97}}
\newlabel{TABLE2:SPARC}{{7.3}{97}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.4}{\ignorespaces The edges tacit in the example theory in figure \penalty \@M \ 7.3\hbox {}.}}{98}}
\newlabel{8twox:net}{{7.4}{98}}
\@writefile{toc}{\contentsline {subsubsection}{Results of Single World Assumption}{102}}
\@writefile{toc}{\contentsline {subsubsection}{Results of Randomisation Study}{103}}
\@writefile{lot}{\contentsline {table}{\numberline {7.4}{\ignorespaces This table compares the differences between the randomisation studies and the normal C/C++ version of HT4. Note that these results have been produced on an Intel Pentium PC, running at 133MHz, under Linux. Notice how there is little difference in the mean percent explicable.}}{103}}
\newlabel{TABLE3:INTEL}{{7.4}{103}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Refining the Specifications}{103}}
\@writefile{lot}{\contentsline {table}{\numberline {7.5}{\ignorespaces This table compares the differences between the randomisation studies and the normal C/C++ version of HT4. Note that these results have been produced on a Sparc workstation, running at 50MHz, under SunOS. Notice how there is little difference in the mean percent explicable.}}{104}}
\newlabel{TABLE3:SPARC}{{7.5}{104}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Description of Refining the Specifications}{104}}
\citation{SELMAN90}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Results of Refining the Specifications}{105}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Discussion of Results}{105}}
\@writefile{lot}{\contentsline {table}{\numberline {7.6}{\ignorespaces This table compares the relative times spent in the forward sweep of the HT4 algorithm, before and after the refinement of the requirements. Note that these results have been produced on an Intel PC running at 133MHz, under Linux.}}{106}}
\newlabel{TABLE4}{{7.6}{106}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Conclusion}{107}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}Future Work}{108}}
\citation{PREECE92b}
\citation{PREECE92b}
\@writefile{toc}{\contentsline {chapter}{Appendix\ A\ Rule-Base Expert Systems}{110}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{PSB:definition}{{A}{110}}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}Definintions and Assumptions}{110}}
\citation{PREECE92b}
\citation{MENDELSON79}
\citation{MENZIESPHD}
\bibstyle{chicago}
\bibdata{draft}
\bibcite{BYLANDER91}{\citeauthoryear {Bylander, Allemang, Tanner, and Josephson}{Bylander et\penalty \@M \ al.}{1991}}
\bibcite{CHANG90}{\citeauthoryear {Chang, Combs, and Stachowitz}{Chang et\penalty \@M \ al.}{1990}}
\bibcite{CONSOLE91b}{\citeauthoryear {Console, Dupre, and Torasso}{Console et\penalty \@M \ al.}{1991}}
\bibcite{CONSOLE91a}{\citeauthoryear {Console and Torasso}{Console and Torasso}{1991}}
\bibcite{DEKLEER86a}{\citeauthoryear {de\penalty \@M \ Kleer}{de\penalty \@M \ Kleer}{1986}}
\bibcite{DEKLEER89}{\citeauthoryear {deKleer and Williams}{deKleer and Williams}{1989}}
\bibcite{DURAN84}{\citeauthoryear {Duran and Ntafos}{Duran and Ntafos}{1984}}
\bibcite{FELDMAN89}{\citeauthoryear {Feldman, Compton, and Smythe}{Feldman et\penalty \@M \ al.}{1989}}
\bibcite{GINSBERG87}{\citeauthoryear {Ginsberg}{Ginsberg}{1987}}
\bibcite{GINSBERG88a}{\citeauthoryear {Ginsberg}{Ginsberg}{1988}}
\bibcite{GINSBERG88b}{\citeauthoryear {Ginsberg, Weiss, and Politakis}{Ginsberg et\penalty \@M \ al.}{1988}}
\bibcite{KANOVICH91}{\citeauthoryear {Kanovich}{Kanovich}{1991}}
\bibcite{LEAKE91}{\citeauthoryear {Leake}{Leake}{1991}}
\bibcite{LEAKE93}{\citeauthoryear {Leake}{Leake}{1993}}
\bibcite{MARS87}{\citeauthoryear {Mars and Miller}{Mars and Miller}{1987}}
\bibcite{MENDELSON79}{\citeauthoryear {Mendelson}{Mendelson}{1979}}
\bibcite{MENZIES95e}{\citeauthoryear {Menzies}{Menzies}{1995a}}
\bibcite{MENZIESPHD}{\citeauthoryear {Menzies}{Menzies}{1995b}}
\bibcite{MENZIES95c}{\citeauthoryear {Menzies}{Menzies}{1995c}}
\bibcite{MENZIES95d}{\citeauthoryear {Menzies and Compton}{Menzies and Compton}{1995}}
\bibcite{MENZIES94a}{\citeauthoryear {Menzies and Gambetta}{Menzies and Gambetta}{1994}}
\bibcite{MILLER90}{\citeauthoryear {Miller}{Miller}{1990}}
\bibcite{KENG96}{\citeauthoryear {Ng}{Ng}{1996}}
\bibcite{OURSTON90}{\citeauthoryear {Ourston and Mooney}{Ourston and Mooney}{1990}}
\bibcite{PARIS87}{\citeauthoryear {Paris}{Paris}{1987}}
\bibcite{PEARL87}{\citeauthoryear {Pearl}{Pearl}{1987}}
\bibcite{POLITAKIS85}{\citeauthoryear {Politakis}{Politakis}{1985}}
\bibcite{POOLE89}{\citeauthoryear {Poole}{Poole}{1989}}
\bibcite{POOLE90}{\citeauthoryear {Poole}{Poole}{1990}}
\bibcite{POPLE73}{\citeauthoryear {Pople}{Pople}{1973}}
\bibcite{PREECE92a}{\citeauthoryear {Preece and Shinghal}{Preece and Shinghal}{1992}}
\bibcite{PREECE92b}{\citeauthoryear {Preece, Shinghal, and Batarekh}{Preece et\penalty \@M \ al.}{1992}}
\bibcite{REGGIA85}{\citeauthoryear {Reggia}{Reggia}{1985}}
\bibcite{RUSHBY90}{\citeauthoryear {Rushby and Crow}{Rushby and Crow}{1990}}
\bibcite{SEDGEWICK88}{\citeauthoryear {Sedgewick}{Sedgewick}{1988}}
\bibcite{SELMAN90}{\citeauthoryear {Selman and Levesque}{Selman and Levesque}{1990}}
\bibcite{SHWE89}{\citeauthoryear {Shwe, Tu, and Fagan}{Shwe et\penalty \@M \ al.}{1989}}
\bibcite{SILVERMAN92}{\citeauthoryear {Silverman}{Silverman}{1992}}
\bibcite{SMYTHE89}{\citeauthoryear {Smythe}{Smythe}{1989}}
\bibcite{AAAI90}{\citeauthoryear {Stanford University}{Stanford University}{1990}}
\bibcite{STROUSTRUP95}{\citeauthoryear {Stroustrup}{Stroustrup}{1995}}
\bibcite{STRUSS89}{\citeauthoryear {Struss and Dressler}{Struss and Dressler}{1989}}
\bibcite{SUWA82}{\citeauthoryear {Suwa, Scott, and Shortliffe}{Suwa et\penalty \@M \ al.}{1982}}
\bibcite{ZLATAREVA93}{\citeauthoryear {Zlatareva}{Zlatareva}{1992a}}
\bibcite{ZLATAREVA92}{\citeauthoryear {Zlatareva}{Zlatareva}{1992b}}
\bibcite{ZLATAREVA94}{\citeauthoryear {Zlatareva and Preece}{Zlatareva and Preece}{1994}}