%0
@comment{This file can be sorted on TOPS-20 using SSORT with the /B switch.
	 The %n's are in the file in order that the strings stay
	 at the right place when the file is sorted. The key for each
	 entry should immediately precede that entry to facilitate sorting.
	 For some reason, this does not mess up BIBTEX.}

%00
@comment{All keys are to be the capitalized last name
	 of the first author, optionally followed by initials, followed by the
	 year, followed by a small letter if there is more than one
	 publication for that author for that year. 
	 Example: FingerJJ86c
	 For names like ``de Kleer'' I am capitalizing the first letter in
	 the key for the sake of alphabetization, i.e., DeKleer85.}

%1
@string{HPPreport="Heuristic Programming Pro\-ject Memo"}
@string{AImemo="Artificial Intelligence Laboratory Memo"}
@string{WP="Working Paper"}
@string{AInote="Artificial Intelligence Center Technical Note"}
@string{DAIreport="D.A.I. Research Report"}
@string{SU="Stanford University"}
@string{SRI="SRI International"}
@string{MIT="Massachusets Institute of Technology"}
@string{USC/ISI=
	"University of Southern California Information Sciences Institute"}
@string{N-H="North-Holland"}
@string{AI="Artificial Intelligence"}
@string{CogSci="Cognitive Science"}
@string{AAAI="American Association for Artificial Intelligence"}
@string{ACM="Association for Computing Machinery"}
@string{IEEE="IEEE"}

%2
@string{AAAI-80	=
    "Proceedings of the First National Conference on Artificial Intelligence"}
@string{AAAI-82	=
	"Proceedings of the National Conference on Artificial Intelligence"}
@string{AAAI-83	=
	"Proceedings of the National Conference on Artificial Intelligence"}
@string{AAAI-84	=
	"Proceedings of the National Conference on Artificial Intelligence"}

%3
@string{IJCAI="International Joint Conference on Artificial Intelligence"}
@string{IJCAI1="Proceedings of the First IJCAI"}
@string{IJCAI69="Proceedings of the First IJCAI"}
@string{IJCAI2="Advance Papers from the Second IJCAI"}
@string{IJCAI71="Advance Papers from the Second IJCAI"}
@string{IJCAI3="Advance Papers from the Third IJCAI"}
@string{IJCAI73="Advance Papers from the Third IJCAI"}
@string{IJCAI4="Advance Papers from the Fourth IJCAI"}
@string{IJCAI75="Advance Papers from the Fourth IJCAI"}
@string{IJCAI5="Proceedings of the Fifth IJCAI"}
@string{IJCAI77="Proceedings of the Fifth IJCAI"}
@string{IJCAI6="Proceedings of the Sixth IJCAI"}
@string{IJCAI79="Proceedings of the Sixth IJCAI"}
@string{IJCAI7="Proceedings of the Seventh IJCAI"}
@string{IJCAI81="Proceedings of the Seventh IJCAI"}
@string{IJCAI8="Proceedings of the Eighth IJCAI"}
@string{IJCAI83="Proceedings of the Eighth IJCAI"}
@string{IJCAI9="Proceedings of the Ninth IJCAI"}
@string{IJCAI85="Proceedings of the Ninth IJCAI"}

Aho74
@book{Aho74,
   address=	{Reading, Massachusetts},
   author=	{Aho, Alfred V., & Hopcroft, John E., & Ullman, Jeffrey D.},
   key=		{Aho},
   origin=	{jjf},
   publisher=	{Addison Wesley Publishing Co,},
   subject=	{R},
   title=	{The Design and Analysis of Computer Algorithms},
   year=	{1974}}

Barr76
@Article(Barr76,
    Author=	"Barr, A. and Beard, M. and Atkinson, R. C.",
    Journal=	"International Journal Man-Machine Studies",
    Key=	"Barr",
    Title=	"The Computer as a Tutorial Laboratory: the Stanford
		 BIP Project",
    Volume=	8,
    Pages=	"567-596",
    Year=	1976) 

Bernstein58
@Inproceedings{Bernstein58,
   Author={Bernstein, A. and Arbuckle, T. and Roberts M. de V. and
   Belsky, M.A.},
   Title={A Chess-Playing Program for the {IBM} 704 Computer},
   Booktitle={Proc. of the Western Joint Computer Conf., 1958},
   Address={New York, American Institute of Electrical Engineers},
   Pages={157-159},
   Key={Bernstein, et al.},
   Year={1958}}

Blasgen77
@article{Blasgen77,
   author=	{Blasgen, M. W. and Eswaren, K. P.},
   journal=	{IBM Systems Journal},
   key=		{Blasgen},
   origin=	{jjf},
   publisher=	{IBM},
   subject=	{L},
   title=	{Storage Access in Relational Databases},
   volume=	{16},
   number=	{4},
   year=	{1977}}

Brown75a
@Article(Brown75a,
   Author=	"Brown, J.S. and R. Burton",
   Title=	"A Sophisticated Instructional Environment for Teaching 
		 Electronic Troubleshooting",
   Journal=	"International Journal of Man-Machine Studies",
   Volume=	7,
   Key=		"Brown",
   Year=	1975)

Brown75b
@Incollection(Brown75b,
    key=	"Brown",
    author=	"Brown, J. S. and Burton, R. R.",
    title=	"Multiple Representations of Knowledge for Tutorial
		 Reasoning",
    booktitle=	"Representation and Understanding: Studies in
		 Cognitive Science",
    editors=	"D. G. Bobrow & A. Collins",
    publisher=	"Academic Press",
    address=	"New York",
    year=	"1975",
    pages="311-350")

Brown78
@Article(Brown78,
   author      ="Brown, J. S. and Burton, R. B.",
   journal     ="Cognitive Science",
   key         ="Brown",
   pages       ="155-192",
   title       ="Diagnostic Models for Procedural Bugs in Basic Mathematical 
		 Skills",
   volume      ="2",
   number      ="2",
   month       ="April-June",
   year        ="1978")

Brown80
@Article{Brown80,
   author      ={Brown, J. S. and VanLehn, K.},
   journal     ={Cognitive Science},
   key         ={Brown},
   number      ={4},
   title       ={Repair Theory: a Generative Theory of Bugs in Procedural 
		 Skills},
   pages       ={379-426},
   volume      ={4},
   year        ={1980}}

Carr77
@Techreport(Carr77,
    key=	"Carr and Goldstein",
    author=	"Carr, B. and Goldstein, I.",
    title=	"Overlays: A Theory of Modeling for Computer Aided
		 Instruction",
    institution=MIT,
    year=	"1977",
    type=	"AI Memo",
    number=	"406")

Chakravarthy84
@techreport{Chakravarthy84,
   author=	{Chakravarthy, U. S.},
   institution=	{University of Maryland},
   key=		{Chakravarthy},
   month=	{June},
   number=	{TR-1413},
   origin=	{jjf},
   title=	{Semantic Usage and Query Optimization in Deductive 
		Databases},
   year=	{1984}}

Chakravarthy85a
@PhDThesis{Chakravarthy85a,
   author=	{Chakravarthy, U.S.},
   school=	{University of Maryland},
   key=		{Chakravarthy},
   month=	{July},
   title=	{Semantic Query Optimization in Deductive Databases},
   year=	{1985}}

Chakravarthy85b
@inproceedings{Chakravarthy85b,
   address=	{Dont, Know.},
   author=	{Chakravarthy, U. S.},
   booktitle=	{EDP},
   key=		{Chakravarthy},
   month=	{October},
   origin=	{jjf},
   pages=	{?-?},
   title=	{Semantic Query Optimization: Additional Constraints 
		 and Control Strategies},
   year=	{1985}}

Chang73
@book{Chang73,
   address=	{New York},
   author=	{Chang, C. L. and Lee, R. C. T.},
   key=		{Chang},
   origin=	{jjf},
   publisher=	{Academic Press},
   subject=	{R},
   title=	{Symbolic Logic and Mechanical Theorem Proving},
   year=	{1973}}

Charniak80
@book{Charniak80,
   address=	{Hillsdale, N.J.},
   author
   =	{Charniak, Eugene, Riesbeck, Christopher K., and McDermott, Drew V.},
   key=		{Charniak},
   origin=	{jjf},
   publisher=	{Lawrence Erlbaum Associates},
   subject=	{R},
   title=	{Artificial Intelligence Programming},
   year=	{1980},
   notes=	{This is a good book}}

Clancey82
@Incollection{Clancey82,
    key=	{Clancey},
    author=	{Clancey, W. J.},
    title=	{GUIDON},
    booktitle=	{The Handbook of Artificial Intelligence},
    chapter=	{Applications-oriented AI research: Education},
    address=	{Los Altos},
    publisher=	{William Kaufmann, Inc.},
    volume=	{2},
    editors=	{Barr and Feigenbaum},
    year=	1982,
    note=	{Revised version to appear in the `Journal of Computer-Based 
	         Instruction', 1983}}

DeKleer84
@inproceedings{DeKleer84,
   author={de Kleer, Johan},
   title={Choices Without Backtracking},
   booktitle=AAAI-84,
   organization={AAAI},
   address={University of Texas at Austin, TX},
   month={August},
   key={de Kleer},
   year=1984}

DeKleer85
@techreport{DeKleer85,
   author=	{de Kleer, Johan},
   institution=	{XEROX Palo Alto Research Center},
   key=		{de Kleer},
   month=	{February},
   origin=	{jjf},
   title=	{An Assumption-Based TMS},
   year=	{1985}}

Dietterich84
@inproceedings{Dietterich84,
   author=	{Dietterich, Thomas G.},
   title=	{Learning About Systems That Contain State Variables},
   booktitle=	AAAI-84,
   organization=AAAI,
   address=	{University of Texas at Austin, TX},
   month=	{August},
   key=		{Dietterich},
   year=	1984}

Dijkstra75
@article{Dijkstra75,
   author=	{Dijkstra, Edsger W.},
   journal=	{Communications of the ACM},
   key=		{Dijkstra},
   origin=	{jjf},
   pages=	{453-457},
   publisher=	{ACM},
   subject=	{L},
   title=	{Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
   volume=	{18},
   number=	{8},
   month=	{August},
   year=	{1975}}

Dijkstra76
@book{Dijkstra76,
   address=	{Englewood Cliffs, New Jersey},
   author=	{Dijkstra, Edsger W.},
   key=		{Dijkstra},
   origin=	{jjf},
   publisher=	{Prentice-Hall},
   subject=	{R},
   title=	{A Discipline of Programming},
   year=	{1976}}

Doyle79
@article{Doyle79,
   author=	{Doyle, John},
   journal=	AI,
   key=		{Doyle},
   origin=	{jjf},
   pages=	{231-272},
   publisher=	N-H,
   subject=	{L},
   title=	{A Truth Maintenance System},
   volume=	{12},
   year=	{1979}}

Doyle83
@inproceedings{Doyle83,
   address=	{Karlsruhe, West Germany},
   author=	{Doyle, Jon},
   booktitle=	IJCAI8,
   key=		{Doyle},
   month=	{August},
   origin=	{jjf},
   pages=	{349-351},
   subject=	{L},
   title=	{The Ins and Outs of Reason Maintenance},
   year=	{1983}}

Etherington83
@inproceedings{Etherington83,
   address=	{Washington, D.C.},
   author=	{Etherington, David and Reiter, Raymond},
   booktitle=	AAAI-83,
   key=		{Etherington},
   month=	{August},
   origin=	{jjf},
   pages=	{104-108},
   subject=	{L},
   title=	{On Inheritance Hierarchies With Exceptions},
   year=	{1983}}

Feigenbaum80
@unpublished{Feigenbaum80,
   key=		{Feigenbaum},
   Author=	{Feigenbaum, E. A., Genesereth, M., Kaplan, S. J., Mostow, D. J.},
   Title=	{Intelligent Agents (Proposal to the Defence Advanced Research Projects Agency)},
   Year=	1980}

Fikes71
@article{Fikes71,
   author=	{Fikes, R.E., and Nilsson, N.J.},
   journal=	AI,
   key=		{Fikes},
   origin=	{jjf},
   pages=	{189-208},
   publisher=	N-H,
   subject=	{H},
   title=	{STRIPS: a new approach to the application of theorem proving to problem solving},
   volume=	{2},
   year=	{1971}}

Fikes72
@article{Fikes72,
   author=	{Fikes, R.E., Hart, Peter E. and Nilsson, N.J.},
   journal=	AI,
   key=		{Fikes},
   origin=	{jjf},
   pages=	{251-288},
   publisher=	N-H,
   subject=	{H},
   title=	{Learning and Executing Generalized Robot Plans},
   volume=	{3},
   year=	{1972}}

Finger83
@techreport{Finger83,
   author=	{Finger, J. J. and Michael R. Genesereth},
   institution=	{Stanford University},
   key=		{Finger},
   month=	{December},
   number=	{HPP-83-46 {working paper}},
   origin=	{jjf},
   title=	{RESIDUE - A Deductive Approach to Design},
   year=	{1983}}

Finger84
@techreport{Finger84,
   author=	{Finger, J. J. and Michael R. Genesereth},
   institution=	{Stanford University},
   key=		{Finger},
   month=	{January},
   number=	{HPP-84-47},
   origin=	{jjf},
   title=	{RESIDUE - A Deductive Approach to Synthesis of Designs},
   note=	{(in preparation)},
   year=	{1985}}

Finger84b
@unpublished{Finger84b,
   author=	{Finger, J. J.},
   Key=		{Finger},
   Title=	{A Theorem on Soundness and Completeness of Residue},
   Note=		{Stanford University, April, 1984, unpublished}}

Finger85a
@techreport{Finger85a,
   author=	{Finger, J. J. and Michael R. Genesereth},
   institution=	{Stanford University},
   key=		{Finger and Genesereth},
   month=	{January},
   number=	{HPP-85-1},
   origin=	{jjf},
   title=	{RESIDUE - A Deductive Approach to Design Synthesis},
   year=	{1985}}

Finger85b
@techreport{Finger85b,
   author=	{Finger, J. J. and Michael R. Genesereth},
   institution=	{Stanford University},
   key=		{Finger},
   month=	{January},
   number=	{HPP-84-47},
   origin=	{jjf},
   title=	{RESIDUE - A Deductive Approach to Synthesis of Designs},
   note=	{(in preparation)},
   year=	{1985}}

Genesereth
@comment{Genesereth, M., Grinberg, M., and Lark, J.,  DDL Manual, 
Memo HPP-81-11, Stanford Heuristic Programming Project {September 1981}.}

Genesereth78
@Phdthesis(Genesereth78,
    key=	"Genesereth",
    author=	"Genesereth, M.R.",
    school=	"Harvard University",
    title=	"Automated Consultation for Complex Computer Systems",
    month=	"September",
    year=	"1978")

Genesereth80
@inproceedings{Genesereth80,
  key=		"Genesereth",
  author=	"Genesereth, M. R.",
  Title=	"Metaphors and Models",
  BookTitle=	AAAI-80,
  Organization=	AAAI,
  Year=		1980,
  Month=	Aug,
  Pages=	"208-211"}

Genesereth82b
@techreport{Genesereth82b,
   author=	{Genesereth, Michael R.},
   institution=	{Stanford University},
   key=		{Genesereth},
   month=	{November},
   number=	{HPP-82-27},
   origin=	{jjf},
   title=	{An Introduction to MRS for AI Experts},
   year=	{1982}}

Genesereth82c
@inproceedings{Genesereth82c,
   address=	{Pittsburgh, Pennsylvania},
   author=	{Genesereth, Michael},
   booktitle=	AAAI-82,
   key=		{Genesereth},
   month=	{August},
   origin=	{jjf},
   pages=	{278-283},
   subject=	{L},
   title=	{Diagnosis Using Hierarchical Design Models},
   year=	{1982}}

Genesereth82d
@techreport{Genesereth82d,
  key=		"Genesereth",
  Author=	"Genesereth, M. R.",
  Title=	"An Introduction to MRS for AI Experts",
  Institution=	SU,
  type=		HPPreport,
  Number=	"HPP-82-27",
  Year=		1982,
  Month=	Nov}

Genesereth82f
@techreport{Genesereth82f,
  key=		"Genesereth",
  Author=	"Genesereth, M. R., Smith, D. E.",
  Title=	"Meta-Level Architecture",
  Institution=	SU,
  type=		HPPreport,
  Number=	"HPP-81-6",
  Year=		1982,
  Month=	Dec}

Genesereth83a
@techreport{Genesereth83a,
   author=	{Genesereth, Michael R., ed.},
   institution=	{Stanford University},
   key=		{Genesereth},
   month=	{May},
   number=	{HPP-83-26},
   origin=	{jjf},
   title=	{The MRS Casebook},
   year=	{1983}}

Genesereth83b
@techreport{Genesereth83b,
  key=		"Genesereth",
  Author=	"Genesereth, M. R.",
  Title=	"An Overview of MRS",
  Institution=	SU,
  type=		HPPreport,
  Year=		1983,
  Month=	Jun}

Genesereth83c
@inproceedings{Genesereth83c,
  key=		"Genesereth",
  Author=	"Genesereth, M. R.",
  Title=	"An Overview of Meta-Level Architecture",
  Booktitle=	AAAI-83,
  Organization=	AAAI,
  year=		1983,
  month=	Aug}

Genesereth84a
@techreport{Genesereth84a,
  key=		"Genesereth",
  author=	"Genesereth, Michael",
  title=	"Partial Programs",
  institution=	SU,
  type=		HPPreport,
  number=	"HPP-84-2",
  year=		1984,
  month=	Nov}

Genesereth84b
@article{Genesereth84b,
  key=		"Genesereth",
  Author=	"Genesereth, Michael R.",
  Title=	"The Use of Design Descriptions in Automated Diagnosis",
  journal=	AI,
  volume=	24,
  year=		1984}

Green69a
@incollection{Green69a,
   address=	{Edinburgh},
   author=	{Green, Cordell C.},
   key=		{Green},
   editor=	{Meltzer and Michie},
   booktitle=	{Machine Intelligence 4},
   origin=	{jjf},
   publisher=	{Edinburgh University Press},
   title=	{Theorem Proving by Resolution as a basis for
		 question-answering systems},
   year=	{1969}}

Green69b
@inproceedings{Green69b,
    author=	{Green, Cordell C.},
    booktitle=	IJCAI1,
    pages=	{219-239},
    key=	{Green},
    origin=	{jjf},
    title=	{Application of Theorem Proving to Problem Solving},
    year=	{1969}}

Hewitt75
@inproceedings{Hewitt75,
   address=	{Cambridge, Mass.},
   author=	{Hewitt, Carl},
   booktitle=	IJCAI4,
   key=		{Hewitt},
   month=	{September},
   origin=	{jjf},
   pages=	{189-198},
   title=	{How to Use What You Know},
   year=	{1975}}

Huffman70
@incollection{Huffman70,
   address=	{Edinburgh},
   author=	{Huffman, David A.},
   key=		{Huffman},
   editor=	{Meltzer and Michie},
   booktitle=	{Machine Intelligence 6},
   origin=	{jjf},
   publisher=	{Edinburgh University Press},
   title=	{Impossible Objects as Nonsense Sentences},
   year=	{1970}}

King81
@PhDThesis{King81,
   author=	{King, Jonathan J.},
   school=	{Department of Computer Science, Stanford University},
   key=		{King},
   month=	{May},
   title=	{Query Optimization by Semantic Reasoning},
   year=	{1981}}

Koffman75
@Article(Koffman75,
   Author="Koffman, E.B. and S.E. Blount",
   Title="Artificial Intelligence and Automatic Programming in CAI",
   Journal=AI,
   Volume=6,
   Number=3,
   Month="fall",
   Note="Also in the advance papers of the 3rd IJCAI: Stanford, CA",
   Key="Koffman and Blount",
   Year=1975)

Kripke72
@incollection{Kripke72,
   address=	{Dordrecht, Holland},
   author=	{Kripke, Saul A},
   key=		{Kripke},
   editor=	{Davidson, D. and Harmon, G.},
   booktitle=	{Semantics of Natural Language},
   origin=	{jjf},
   publisher=	{D. Reidel Publishing Company},
   title=	{Naming and Necessity},
   year=	{1972}}

Loveland68
@inproceedings{Loveland68,
   address=	{Versailles, France},
   author=	{Loveland, D. W.},
   booktitle=	{Proc. IRIA Symp. Automatic Demonstration},
   key=		{Loveland},
   origin=	{jjf},
   subject=	{P},
   title=	{A linear format for resolution},
   publisher=	{Springer-Verlag},
   year=	{1968}}

Loveland78
@book{Loveland78,
   address=	{Amsterdam},
   author=	{Loveland, Donald W.},
   key=		{Loveland},
   origin=	{jjf},
   publisher=	{North-Holland Publishing Co.},
   subject=	{R},
   title=	{Automated Theorem Proving: A Logical Basis},
   year=	{1978}}

Luckham68
@inproceedings{Luckham68,
   address=	{Versailles, France},
   author=	{Luckham, D.},
   booktitle=	{Proc. IRIA Symp. Automatic Demonstration},
   key=		{Luckham},
   origin=	{jjf},
   subject=	{P},
   title=	{Refinements in resolution theory},
   publisher=	{Springer-Verlag},
   year=	{1968}}

Luckham71
@article{Luckham71,
   key=		{Luckham and Nilsson},
   author=	{Luckham, David and Nils J. Nilsson},
   Title=	{Extracting Information from Resolution Proof Trees},
   journal=	AI,
   volume=	2,
   pages=	{27-54},
   year=	1971}

Mackinlay84
@inproceedings{Mackinlay84,
   address=	{Austin, Texas},
   author=	{Mackinlay, Jock, and Michael R. Genesereth},
   booktitle=	AAAI-84,
   key=		{Mackinlay},
   month=	{August},
   origin=	{jjf},
   subject=	{P},
   title=	{Expressiveness of Languages},
   year=	{1984}}

Manna74
@book{Manna74,
   address=	{San Francisco},
   author=	{Manna, Zohar},
   key=		{Manna},
   origin=	{jjf},
   publisher=	{McGraw-Hill Inc.},
   subject=	{R},
   title=	{Mathematical Theory of Computation},
   year=	{1974}}

Manna75
@article{Manna75,
   author=	{Manna, Zohar and Waldinger, Richard},
   journal=	AI,
   key=		{Manna and Waldinger},
   origin=	{jjf},
   pages=	{175-208},
   publisher=	N-H,
   subject=	{L},
   title=	{Knowledge and Reasoning in Program Synthesis},
   volume=	{6},
   number=	{2},
   year=	{1975}}

Manna80
@article{Manna80,
   author=	{Manna, Zohar and Waldinger, Richard},
   journal=	{ACM Transactions on Program\-ming Lan\-guages and Systems},
   key=		{Manna and Waldinger},
   origin=	{jjf},
   pages=	{90-121},
   publisher=	{ACM},
   subject=	{L},
   title=	{A Deductive Approach to Program Synthesis},
   volume=	{2},
   number=	{1},
   year=	{1980}}

Manna81
@article{Manna81,
   author=	{Manna, Zohar and Waldinger, Richard},
   journal=	{Acta Informatica},
   key=		{Manna and Waldinger},
   origin=	{jjf},
   pages=	{371-426},
   publisher=	{Springer-Verlag},
   subject=	{L},
   title=	{Problematic Features of Programming Languages: A
		 Situational-Calculus Approach},
   volume=	{16},
   year=	{1981}}

Manna82
@techreport{Manna82,
   author=	{Manna, Zohar and Waldinger, Richard},
   institution=	{Stanford University},
   key=		{Manna and Waldinger},
   month=	{March},
   number=	{STAN-CS-82-902},
   origin=	{jjf},
   title=	{Special Relations in the Program-Synthetic Deduction},
   year=		{1982}}

Manna85
@techreport{Manna85,
   author=	{Manna, Zohar and Waldinger, Richard},
   institution=	{Stanford University},
   key=		{Manna and Waldinger},
   origin=	{jjf},
   title=	{Special Relations in Automat\-ed Deduction},
   note=	{ To appear in the Journal of the ACM},
   year=	{1985}}

Martins83
@techreport{Martins83,
   address=	{Buffalo, N.Y.},
   author=	{Martins, J. P.},
   institution=	{MIT},
   key=		{Martins},
   number=	{Computer Science Department Technical Report 203},
   origin=	{},
   subject=	{H},
   title=	{Reasoning in Multiple Belief Spaces},
   year=	{1983}}

McAllester78
@techreport{McAllester78,
   address=	{Cambridge, Mass.},
   author=	{McAllester, D.},
   institution=	MIT,
   key=		{McAllester},
   number=	{S.B. Thesis, Department of Electrical Engineering},
   origin=	{},
   subject=	{H},
   title=	{A Three-Valued Truth Maintenance System},
   year=	{1978}}

McAllester80
@techreport{McAllester80,
   address=	{Cambridge, Mass.},
   author=	{McAllester, D.},
   institution=	{MIT},
   key=		{McAllester},
   number=	{MIT AIM-551},
   origin=	{},
   subject=	{H},
   title=	{An Outlook on Truth Maintenance},
   year=	{1980}}

McAllester82
@techreport{McAllester82,
   address=	{Cambridge, Mass.},
   author=	{McAllester, D.},
   institution=	MIT,
   key=		{McAllester},
   number=	{MIT AIM-667},
   origin=	{},
   subject=	{H},
   title=	{Reason Utility Package User's Manual},
   year=	{1982}}

McDermott78
@article{McDermott78,
   author=	{McDermott, Drew},
   journal=	{Cognitive Science},
   key=		{McDermott},
   origin=	{jjf},
   pages=	{71-109},
   publisher=	{Ablex Publishing Corp.},
   subject=	{H},
   title=	{Planning and Action},
   volume=	{2},
   year=	{1978}}

McDermott80
@article{McDermott80,
   author=	{McDermott, D. and Doyle, J.},
   journal=	AI,
   key=		{McDermott},
   origin=	{jjf},
   pages=	{41-72},
   publisher=	N-H,
   subject=	{L},
   title=	{Non-monotonic Logic - I},
   volume=	{13},
   year=	{1980}}

McDermott83
@article{McDermott83,
   author=	{McDermott, Drew},
   journal=	{IEEE Transactions on Pattern Analysis and Machine 
		 Intelligence},
   key=		{McDermott},
   origin=	{jjf},
   publisher=	IEEE,
   subject=	{H},
   title=	{Contexts and Data Dependencies: A Synthesis},
   volume=	{5},
   number=	{3},
   year=	{1983}}

McSkimin77
@inproceedings{McSkimin77,
   address=	{Cambridge, Massachusetts},
   author=	{McSkimin, J. R. and Minker, Jack},
   booktitle=	IJCAI5,
   key=		{McSkimin},
   month=	{August},
   origin=	{jjf},
   pages=	{50-58},
   subject=	{P},
   title=	{The Use of a Semantic Network in a Deductive Query Answering
		 System},
   year=	{1977}}

Mitchell78
@PhDThesis{Mitchell78,
   author=	{Mitchell, T. M.},
   school=	{Stanford University},
   key=		{Mitchell},
   month=	{December},
   note=		{also Stanford CS report STAN-CS-78-711, HPP-79-2},
   origin=	{Utgoff},
   subject=	{C},
   title=	{Version Spaces: An approach to concept learning},
   year=	{1978}}

Moore84
@techreport{Moore84,
   author=	{Moore, Robert C.},
   institution=	{SRI},
   key=		{Moore},
   month=	{February},
   number=	{Technical Note 320},
   origin=	{jjf},
   title=	{A Formal Theory of Knowledge and Action},
   year=	{1984}}

Munson71
@inproceedings{Munson71,
    address=	{London, England},
    author=	{Munson, John H.},
    booktitle=	IJCAI2,
    pages=	{338-349},
    key=	{Munson},
    origin=	{jjf},
    note=	{also SRI Artificial Intelligence Group Technical Note 59},
    subject=	{P},
    title=	{Robot Planning, Execution, and Monitoring in an Uncertain Environment},
    year=	{1971}}

Murray82
@Article{Murray82,
   Author=	"Murray, N.V.",
   Title=	"Completely Non-Clausal Theorem Proving",
   Journal=	AI,
   Volume=	18,
   Number=	1,
   Month=	"January",
   Pages=	"67-85",
   Key=	"Murray",
   Year=1982}

Newell56
@Article{Newell56,
   author=      {Newell, A. and Simon, H. A.},
   journal=     {IRE Transactions on Information Theory},
   key=         {Newell and Simon},
   number=      {3},
   pages=       {61-79},
   subject=     {hb},
   title=       {The Logic Theory Machine: A Complex Information Processing
                   System},
   volume=      {IT-2},
   month=       {September},
   year=        {1956}}

Newell60
@Inproceedings{Newell60,
   address=     {Paris, France},
   author=      {Newell, A. and Shaw, J.C. and Simon, H.A.},
   booktitle=   {Information Processing: Proceedings of the International 
		 Conference on Information Processing},
   key=         {Newell, et al.},
   organization={UNESCO House},
   subject=     {hb},
   title=       {Report on a General Problem-Solving Program for a Computer},
   pages=       {256-264},
   year=        {1960}}

Newell63
@Incollection{Newell63,
Author= {Newell, A. and Simon, H. A.}, 
Key={Newell and Simon},
Title={GPS, A Program that Simulates Human Thought}, 
Year={1963},
Booktitle={Computers and Thought}, 
Editors={Feigenbaum, E.A. and Feldman, J.}, 
Publisher={McGraw-Hill},
Address={New York},
Pages={279-293}}

Nilsson80
@book{Nilsson80,
   address=	{Palo Alto},
   author=	{Nilsson, N. J.},
   key=		{Nilsson},
   origin=	{jjf},
   publisher=	{Tioga Publishing Co.},
   subject=	{R},
   title=	{Principles of Artificial Intelligence},
   year=	{1980}}

Raiffa68
@book{Raiffa68,
   address=	{reading, massachusetts},
   author=	{raiffa, howard},
   key=		{raiffa},
   origin=	{jjf},
   publisher=	{addison-wesley},
   subject=	{r},
   title=	{decision analysis: introductory lectures on choices
		 under uncertainty},
   year=	{1968}}

Reiter78a
@incollection{Reiter78a,
   address=	{New York},
   author=	{Reiter, Raymond},
   key=		{Reiter},
   editor=	{Gaillaire, H. and Minker, Jack},
   booktitle=	{Logic and Data Bases},
   origin=	{jjf},
   publisher=	{Plenum Press},
   title=	{On Closed World Data Bases},
   year=	{1978}}

Reiter78b
@incollection{Reiter78b,
   address=	{New York},
   author=	{Reiter, Raymond},
   key=		{Reiter},
   editor=	{Gaillaire, H. and Minker, Jack},
   booktitle=	{Logic and Data Bases},
   origin=	{jjf},
   publisher=	{Plenum Press},
   title=	{Deductive Question Answering on Relational Databases},
   year=	{1978}}

Reiter80
@article{Reiter80,
   author=	{Reiter, R.},
   journal=	AI,
   key=		{Reiter},
   origin=	{jjf},
   pages=	{81-132},
   publisher=	N-H,
   subject=	{P},
   title=	{A Logic for Default Reasoning},
   volume=	{13},
   year=	{1980}}

Robinson65a
@article{Robinson65a,
   author=	{Robinson, J. A.},
   journal=	{Journal of the ACM},
   key=		{Robinson},
   origin=	{jjf},
   pages=	{23-41},
   publisher=	{ACM},
   subject=	{L},
   title=	{A machine-oriented logic based on the resolution principle},
   volume=	{12},
   number=	{1},
   year=	{1965}}

Robinson65b
@article{Robinson65b,
   author=	{Robinson, J. A.},
   journal=	{International Journal of Computer Mathematics},
   key=		{Robinson},
   origin=	{jjf},
   pages=	{227-234},
   title=	{Automatic Deduction with Hyper-resolution},
   volume=	{1},
   year=	{1965}}

RosenscheinS81
@inproceedings{RosenscheinS81,
   address=	{Vancouver, British Columbia},
   author=	{Rosenschein, Stanley J.},
   booktitle=	AAAI-81,
   pages=	{331-337},
   key=		{RosenscheinSJ},
   month=	{August},
   origin=	{jjf},
   subject=	{P},
   title=	{Plan Synthesis: A Logical Perspective},
   year=	{1981}}

Roussel75
@manual{Roussel75,
   author={Roussel, P.},
   title={Prolog: Manual de reference et d'utilisation},
   note={Groupe d'Intelligence Artificielle, Marseille-Luminy; September},
   key={Roussel},
   year=1975}

Sacerdoti74
@article{Sacerdoti74,
   author=	{Sacerdoti, Earl D.},
   journal=	AI,
   key=		{Sacerdoti},
   origin=	{jjf},
   pages=	{115-135},
   publisher=	N-H,
   subject=	{H},
   title=	{Planning in a Hierarchy of Abstraction Spaces},
   volume=	{5},
   year=	{1974}}

Sacerdoti75
@techreport{Sacerdoti75,
   author=	{Sacerdoti, Earl D.},
   institution=	{SRI},
   key=		{Sacerdoti},
   month=	{August},
   number=	{Technical Note 109},
   origin=	{jjf},
   title=	{A Structure for Plans and Behavior},
   year=	{1975}}

SmithB82
@techreport{SmithB82,
   key=		{Smith},
   Author=	{Smith, B.},
   Title=	{Reflection and Semantics in a Procedural Language},
   Institution=	MIT,
   type=	AImemo,
   Year=	1982,
   month=	Jan,
   number=	{AI-TR-272}}

SmithDE83
@Inproceedings{SmithDE83,
  key=		"Smith",
  Author=	"Smith, D. E.",
  Title=	"Finding All of the Solutions to a Problem",
  booktitle=	AAAI-83,
  organization=	AAAI,
  Year=		1983,
  Month=	Aug}

SmithDE84
@techreport{SmithDE84,
    key=	"Smith",
    Author=	"Smith, D. E. and Genesereth, M. R.",
    Title=	"Controlling Recursive Inference",
    Year=	1984, 
    institution=	SU,
    type=	HPPreport,
    number=	"HPP-84-6"}

SmithDE85a
@article{SmithDE85a,
  key=		"Smith",
  Author=	"Smith, D. E. and Genesereth, M. R.",
  Title=	"Ordering Conjunctive Queries",
  journal=	AI,
  volume=	25,
  year=		1985}

SmithDE85b
@PhDThesis{SmithDE85b,
  key=		"Smith",
  Author=	"Smith, D. E.",
  Title=	"Controlling Inference",
  school=	SU,
  year=		1985,
  month=	Aug}

Sproull77
@PhDThesis{Sproull77,
   author=	{Sproull, Robert F.},
   school=	{Stanford University},
   key=		{Sproull},
   month=	{May},
   origin=	{jjf},
   subject=	{C},
   title=	{strategy construction using a synthesis of heuristic and decision-theoretic methods},
   year=	{1977}}

Stallman77
@Article(Stallman77,
    author=	{Stallman, Richard M. and Sussman, Gerald J.},
    key=	{Stallman and Sussman},
    title=	{Forward Reasoning and Dependency-Directed Backtracking in a
                  System for Computer-Aided Circuit Analysis},
    journal=	AI,
    volume=	9,
    number=	2,
    month=	{October},
    pages=	{135-196},
    note=	{Reprint in ``AI-MIT'', vol. 1, pp.31-91. 
		Also MIT AI Memo 380,'76},
    year=	{1977})

Steele79
@techreport{Steele79,
   address=	{Cambridge, Mass.},
   author=	{Steele, Guy L.},
   institution=	{MIT},
   key=		{Steele},
   number=	{Artificial Intelligence Laboratory, TR-595},
   origin=	{},
   subject=	{H},
   title=	{The Definition and Implementation of a Computer Programming
		 Language based on Constraints},
   year=	{1979}}

Stefik81
@article(Stefik81,
   Author=	{Stefik, Mark J.},
   Title=	{Planning with Constraints (MOLGEN: Part 1)},
   Journal=	AI,
   Volume=	16,
   Number=	2,
   Pages=	{111-140},
   Key=		{Stefik},
   Year=	1981)

Stefik81a
@article{Stefik81a,
   key=		{Stefik},
   author=	{Stefik, Mark J.},
   title=	{Planning With Constraints},
   journal=	AI,
   volume=	16,
   number=	2,
   year=	1981,
   pages=	{111-140}}

Stefik81b
@article{Stefik81b,
   key=		{Stefik},
   author=	{Stefik, Mark J.},
   Title=	{Planning and Meta-Planning},
   journal=	AI,
   volume=	16,
   number=	2,
   pages=	{141-170},
   year=	1981,
   note=	{Also in {\it Readings in Artificial Intelligence},
		Webber and Nilsson}}

Stickel85
@inproceedings{Stickel85,
   address=	{Los Angeles, California},
   author=	{Stickel, Mark E.},
   booktitle=	IJCAI85,
   key=		{Stickel},
   month=	{August},
   origin=	{jjf},
   pages=	{1181-1186},
   title=	{Automated Deduction by Theory Resolution},
   year=	{1985}}

Sussman73
@techreport{Sussman73,
   address=	{Cambridge, Mass.},
   author=	{Sussman, G. J.},
   institution=	{NIL},
   key=		{Sussman},
   month=	{August},
   number=	{MIT AI-TR-297},
   origin=	{Utgoff},
   subject=	{H},
   title=	{A Computational Model of Skill Acquisition},
   year=	{1973}}

Sussman80
@article(Sussman80,
   Author=	{Sussman, Gerald Jay and Steele, Guy Lewis Jr.},
   Title=	{Constraints - A Language for Expressing Almost-Hierarchical
			Descriptions},
   Journal=	AI,
   Volume=	14,
   Number=	1,
   Pages=	{1-39},
   Key=		{Sussman},
   Year=	1980)

Tate75
@inproceedings{Tate75,
   address=	{Cambridge, Mass.},
   author=	{Tate, Austin},
   booktitle=	IJCAI4,
   key=		{Tate},
   month=	{September},
   origin=	{jjf},
   pages=	{215-218},
   subject=	{P},
   title=	{Interacting goals and their use},
   year=	{1975}}

Waldinger75
@techreport{Waldinger75,
   author=	{Waldinger, Richard},
   institution=	{SRI},
   key=		{Waldinger},
   month=	{July},
   number=	{Technical Note 107},
   origin=	{jjf},
   title=	{Achieving Several Goals Simultaneously},
   year=		{1975}}

Waltz72
@techreport{Waltz72,
   address=	{Cambridge, Mass.},
   author=	{Watlz, David L.},
   institution=	{MIT},
   key=		{Waltz},
   month=	{November},
   number=	{MIT AI-TR-271},
   origin=	{},
   subject=	{H},
   title=	{Generating Semantic Descriptions from Drawings of Scenes 
with Shadows},
   year=	{1972}}

Waltz75
@Incollection(Waltz75,
    key=	"Waltz",
    author=	"Waltz, D.",
    title=	"Understanding line drawings of scenes with shadows",
    editor=	"Winston, P.H.",
    booktitle=	"The Psychology of Computer Vision",
    address=	"New York",
    publisher=	"McGraw-Hill",
    pages=	"19-91",
    note=	"based on Phd thesis, MIT, Cambridge, MA, 1972",
    year=	1975)

Warren75
@techreport{Warren75,
   author=	{Warren, David H.D.},
   institution=	{?},
   key=		{Warren},
   month=	{?},
   number=	{?},
   origin=	{jjf},
   title=	{Generating Conditional Plans and Programs},
   year=	{1975}}

Warren77
@article{Warren77,
   author={Warren, D.H.D. and L.M. Pereira},
   title={PROLOG - The Language and its implementation compared with LISP},
   journal={SIGPLAN Notices, 12(8); and SIGART Newsletter, no. 64, pp.109-115},
   note={Also Proc. of the Symp. on AI and Programming Languages (ACM)},
   key={Warren},
   year=1977}

Winograd75
@Incollection{Winograd75,
   Author=	{Winograd, T.},
   Title=	{Frame Representations and the 
		 Procedural/Declarative Controversy},
   Booktitle=	{Representation and Understanding: 
		 Studies in Cognitive Science},
   Editors=	{D. G. Bobrow and A. Collins},
   Publisher=	{Academic Press},
   Address=	{New York},
   Year=	{1975},
   Pages=	{185-210},
   Key=		{Winograd}}

Wos64
@inproceedings{Wos64,
   author=	{Wos, L. and Carson, D. and Robinson, G.},
   title=	{The unit preference strategy in theorem proving},
   booktitle=	{AFIPS Conference Proceedings},
   organization={AFIPS},
   publisher=	{Spartan Books},
   address=	{Washington, D.C.},
   key=		{Wos, Carson, Robinson},
   year=	1964}

Wos65
@article{Wos65,
   author=	{Wos, L. and Robinson, G. and Carson, D.},
   journal=	{Journal of the ACM},
   key=		{Wos},
   origin=	{jjf},
   pages=	{536-541},
   publisher=	{ACM},
   subject=	{L},
   title=	{Efficiency and completeness of the set of support
		 strategy in theorem proving},
   volume=	{12},
   year=	{1965}}

Wos84
@book{Wos84,
   address=	{Englewood Cliffs, New Jersey},
   author=	{Wos, Larry and Ross Overbeek and Ewing Lusk and Jim Boyle},
   key=		{Wos},
   origin=	{jjf},
   publisher=	{Prentice-Hall Inc.},
   subject=	{R},
   title=	{Automated Reasoning: Introduction and Applications},
   year=	{1984}}