ZMAIL Manual, Richard M. Stallman
@TechReports{AI-TR,
	title = "ZMAIL Manual",
	author = "Richard M. Stallman",
	year = "Apr,1983",
	volume = "AI-TR",
	institution = "MIT AI Lab."
}

LEARNING STRUCTURAL DESCRIPTIONS FROM EXAMPLES, Patrick H. Winston
@TechReports{AI-TR-231,
	title = "LEARNING STRUCTURAL DESCRIPTIONS FROM EXAMPLES",
	author = "Patrick H. Winston",
	year = "Sep,1970",
	volume = "AI-TR-231",
	institution = "MIT AI Lab."
}

DESCRIPTION AND THEORETICAL ANALYSIS (USING SCHEMATA) OF PLANNER: A LANGUAGE FOR PROVING THEOREMS AND MANIPULATING MODELS IN A ROBOT, Carl Hewitt
@TechReports{AI-TR-258,
	title = "DESCRIPTION AND THEORETICAL ANALYSIS (USING SCHEMATA) OF PLANNER: A LANGUAGE FOR PROVING THEOREMS AND MANIPULATING MODELS IN A ROBOT",
	author = "Carl Hewitt",
	year = "Apr,1972",
	volume = "AI-TR-258",
	institution = "MIT AI Lab."
}

TOWARD A MODEL OF CHILDREN'S STORY COMPREHENSION, Eugene Charniak
@TechReports{AI-TR-266,
	title = "TOWARD A MODEL OF CHILDREN'S STORY COMPREHENSION",
	author = "Eugene  Charniak",
	year = "Dec,1972",
	volume = "AI-TR-266",
	institution = "MIT AI Lab."
}

GENERATING SEMANTIC DESCRIPTIONS FROM DRAWINGS OF SCENES WITH SHADOWS, David L. Waltz
@TechReports{AI-TR-271,
	title = "GENERATING SEMANTIC DESCRIPTIONS FROM DRAWINGS OF SCENES WITH SHADOWS",
	author = "David L. Waltz",
	year = "Nov,1972",
	volume = "AI-TR-271",
	institution = "MIT AI Lab."
}

PROGRESS IN VISION AND ROBOTICS, Patrick H. Winston
@TechReports{AI-TR-281,
	title = "PROGRESS IN VISION AND ROBOTICS",
	author = "Patrick H. Winston",
	year = "May,1973",
	volume = "AI-TR-281",
	institution = "MIT AI Lab."
}

ASSIMILATION OF NEW INFORMATION BY A NATURAL LANGUAGE - UNDERSTANDING SYSTEM, DREW VINCENT McDERMOTT
@TechReports{AI-TR-291,
	title = "ASSIMILATION OF NEW INFORMATION BY A NATURAL LANGUAGE - UNDERSTANDING SYSTEM",
	author = "DREW VINCENT McDERMOTT",
	year = "Feb,1974",
	volume = "AI-TR-291",
	institution = "MIT AI Lab."
}

A COMPUTATIONAL MODEL OF SKILL ACQUISITION, Gerald Jay Sussman
@TechReports{AI-TR-297,
	title = "A COMPUTATIONAL MODEL OF SKILL ACQUISITION",
	author = "Gerald Jay Sussman",
	year = "Aug,1973",
	volume = "AI-TR-297",
	institution = "MIT AI Lab."
}

HYPOTHESIS FORMATION AND EVALUATION IN MEDICAL DIAGNOSIS, Amm D. Rubin
@TechReports{AI-TR-316,
	title = "HYPOTHESIS FORMATION AND EVALUATION IN MEDICAL DIAGNOSIS",
	author = "Amm D. Rubin",
	year = "Jan,1975",
	volume = "AI-TR-316",
	institution = "MIT AI Lab."
}

A Computer Systerm For Visual Recognition Using Active Knowledge, Eugene C. Freuder
@TechReports{AI-TR-345,
	title = "A Computer Systerm For Visual Recognition Using Active Knowledge",
	author = "Eugene C. Freuder",
	year = "Jun,1976",
	volume = "AI-TR-345",
	institution = "MIT AI Lab."
}

HIERARCHICAL SHAPE DESCRIPTION OF OBJECRS BY SELECTION AND MODIFICATION OF PROTOTYPES, John M. Hollerbach
@TechReports{AI-TR-346,
	title = "HIERARCHICAL SHAPE DESCRIPTION OF OBJECRS BY SELECTION AND MODIFICATION OF PROTOTYPES",
	author = "John M. Hollerbach",
	year = "Nov,1975",
	volume = "AI-TR-346",
	institution = "MIT AI Lab."
}

Reasoning From Incomplete Knowledge in a Procedural Deduction Systerm, Robert Carter Moore
@TechReports{AI-TR-347,
	title = "Reasoning From Incomplete Knowledge in a Procedural Deduction Systerm",
	author = "Robert Carter Moore",
	year = "Dec,1975",
	volume = "AI-TR-347",
	institution = "MIT AI Lab."
}

QUALITATIVE AND QUANTITATIVE KNOWLEDGE IN CLASSICAL MECHANICS, Johan de Kleer
@TechReports{AI-TR-352,
	title = "QUALITATIVE AND QUANTITATIVE KNOWLEDGE IN CLASSICAL MECHANICS",
	author = "Johan de Kleer",
	year = "Dec,1975",
	volume = "AI-TR-352",
	institution = "MIT AI Lab."
}

INITIALREPORT ON ALISP PROGRAMMER'S APPRENTICE, Charles Rich and Howard E.Shrobe
@TechReports{AI-TR-354,
	title = "INITIALREPORT ON ALISP PROGRAMMER'S APPRENTICE",
	author = "Charles Rich and Howard E.Shrobe",
	year = "Dec,1976",
	volume = "AI-TR-354",
	institution = "MIT AI Lab."
}

Qualitative Knowledge,Causal Reasoning,and the Localization of failures, Allen Brown
@TechReports{AI-TR-362,
	title = "Qualitative Knowledge,Causal Reasoning,and the Localization of failures",
	author = "Allen Brown",
	year = "Mar,1977",
	volume = "AI-TR-362",
	institution = "MIT AI Lab."
}

THE DESIGN OF A MECHANICAL ASSEMBLY SYSTEM, Tomas Lozano\033$B%P\033(Berez
@TechReports{AI-TR-397,
	title = "THE DESIGN OF A MECHANICAL ASSEMBLY SYSTEM",
	author = "Tomas Lozano\033$B%P\033(Berez",
	year = "Dec,1976",
	volume = "AI-TR-397",
	institution = "MIT AI Lab."
}

FLEXIBILITY AND EFFICIENCY A IN COMPUTER PROGRAM FOR DESIGNING CIRCUITS, Drew Vincent Mcdermott
@TechReports{AI-TR-402,
	title = "FLEXIBILITY AND EFFICIENCY A IN COMPUTER PROGRAM FOR DESIGNING CIRCUITS",
	author = "Drew Vincent Mcdermott",
	year = "Jen,1977",
	volume = "AI-TR-402",
	institution = "MIT AI Lab."
}

USE OF ANALOGY TO ACHIEVE NEW EXPERTISE, Richard Brown
@TechReports{AI-TR-403,
	title = "USE OF ANALOGY TO ACHIEVE NEW EXPERTISE",
	author = "Richard Brown",
	year = "Apr,1977",
	volume = "AI-TR-403",
	institution = "MIT AI Lab."
}

REPRESENTING KNOWLEDGE OF LARGE-SCALE SPACE, Benjamin Jack Kuipers
@TechReports{AI-TR-418,
	title = "REPRESENTING KNOWLEDGE OF LARGE-SCALE SPACE",
	author = "Benjamin Jack Kuipers",
	year = "Jul,1977",
	volume = "AI-TR-418",
	institution = "MIT AI Lab."
}

Reflectance Map Techniques for Analyzing Surface Defects in Metal Castings, Robert J. Woodham
@TechReports{AI-TR-457,
	title = "Reflectance Map Techniques for Analyzing Surface Defects in Metal Castings",
	author = "Robert J. Woodham",
	year = "Jun,1978",
	volume = "AI-TR-457",
	institution = "MIT AI Lab."
}

RABBIT: A Compiler for SCHEME (A Study in Copmpiler Optimization), Guy L. Steele
@TechReports{AI-TR-474,
	title = "RABBIT: A Compiler for SCHEME (A Study in Copmpiler Optimization)",
	author = "Guy L. Steele",
	year = "May,1978",
	volume = "AI-TR-474",
	institution = "MIT AI Lab."
}

DETERMINING THE SCOPE OF ENGLISH QUANTIFIERS, KURT A. VANLEHN
@TechReports{AI-TR-483,
	title = "DETERMINING THE SCOPE OF ENGLISH QUANTIFIERS",
	author = "KURT A. VANLEHN",
	year = "Jun,1978",
	volume = "AI-TR-483",
	institution = "MIT AI Lab."
}

ATMOSPHERIC EFFECTS IN SATELLITE IMAGING OF MOUNTAINOUS TERRAIN, ROBERT W. SJOBERG
@TechReports{AI-TR-688,
	title = "ATMOSPHERIC EFFECTS IN SATELLITE IMAGING OF MOUNTAINOUS TERRAIN",
	author = "ROBERT W. SJOBERG",
	year = "Sep,1982",
	volume = "AI-TR-688",
	institution = "MIT AI Lab."
}

MANIPULATOR GRASPING AND PISHING OPERATIONS, MATTHEW THOMAS MASON
@TechReports{AI-TR-690,
	title = "MANIPULATOR GRASPING AND PISHING OPERATIONS",
	author = "MATTHEW THOMAS MASON",
	year = "Jun,1982",
	volume = "AI-TR-690",
	institution = "MIT AI Lab."
}

A Simple Model of Circuit Design, Gerald Roylance
@TechReports{AI-TR-703,
	title = "A Simple Model of Circuit Design",
	author = "Gerald Roylance",
	year = "May,1980",
	volume = "AI-TR-703",
	institution = "MIT AI Lab."
}

An Algorithm for Parsing Flow Graphs, Daniel Carl Brotsky
@TechReports{AI-TR-704,
	title = "An Algorithm for Parsing Flow Graphs",
	author = "Daniel Carl Brotsky",
	year = "Mar,1984",
	volume = "AI-TR-704",
	institution = "MIT AI Lab."
}

Using Structural & Functional Information in Diagnostic Design, walter Hamscher
@TechReports{AI-TR-707,
	title = "Using Structural & Functional Information in Diagnostic Design",
	author = "walter Hamscher",
	year = "Jun,1983",
	volume = "AI-TR-707",
	institution = "MIT AI Lab."
}

A Multiple-Context Equality-based Reasoning System, George Edward Barton, Jr.
@TechReports{AI-TR-715,
	title = "A Multiple-Context Equality-based Reasoning System",
	author = "George Edward Barton, Jr.",
	year = "Apr,1983",
	volume = "AI-TR-715",
	institution = "MIT AI Lab."
}

Issues in the Design and Implementation of Act2, Daniel G. Theriault
@TechReports{AI-TR-728,
	title = "Issues in the Design and Implementation of Act2",
	author = "Daniel G. Theriault",
	year = "Jun,1983",
	volume = "AI-TR-728",
	institution = "MIT AI Lab."
}

Representing and Reasoning About Change in Geologic Interpretation, Reid Gordon Simmons
@TechReports{AI-TR-749,
	title = "Representing and Reasoning About Change in Geologic Interpretation",
	author = "Reid Gordon Simmons",
	year = "Dec,1983",
	volume = "AI-TR-749",
	institution = "MIT AI Lab."
}

KBEmacs: A Step Toward the Programmer's Apprentice, Richard C. Waters
@TechReports{AI-TR-753,
	title = "KBEmacs: A Step Toward the Programmer's Apprentice",
	author = "Richard C. Waters",
	year = "May,1985",
	volume = "AI-TR-753",
	institution = "MIT AI Lab."
}

Parallelism in Manipulator Dynamics, Richard H. Lathrop
@TechReports{AI-TR-754,
	title = "Parallelism in Manipulator Dynamics",
	author = "Richard H. Lathrop",
	year = "Dec,1984",
	volume = "AI-TR-754",
	institution = "MIT AI Lab."
}

Qualitative Analysis of MOS Circuits, Brian C. Williams
@TechReports{AI-TR-767,
	title = "Qualitative Analysis of MOS Circuits",
	author = "Brian C. Williams",
	year = "Jul,1984",
	volume = "AI-TR-767",
	institution = "MIT AI Lab."
}

Qualitative Process Theory, Kenneth Dale Forbus
@TechReports{AI-TR-789,
	title = "Qualitative Process Theory",
	author = "Kenneth Dale Forbus",
	year = "Jul,1984",
	volume = "AI-TR-789",
	institution = "MIT AI Lab."
}

Motion Planning with Six Degrees of Freedom, Bruce R. Donald
@TechReports{AI-TR-791,
	title = "Motion Planning with Six Degrees of Freedom",
	author = "Bruce R. Donald",
	year = "May,1984",
	volume = "AI-TR-791",
	institution = "MIT AI Lab."
}

Switching Between Discrete and Continuous Process Models To Predict Genetic Activity, Daniel Sabey Weld
@TechReports{AI-TR-793,
	title = "Switching Between Discrete and Continuous Process Models To Predict Genetic Activity",
	author = "Daniel Sabey Weld",
	year = "May,1984",
	volume = "AI-TR-793",
	institution = "MIT AI Lab."
}

Presentation Based User Interfaces, Eugene C. Ciccarelli
@TechReports{AI-TR-794,
	title = "Presentation Based User Interfaces",
	author = "Eugene C. Ciccarelli",
	year = "Aug,1984",
	volume = "AI-TR-794",
	institution = "MIT AI Lab."
}

Planning for Conjunctive Goals, David Chapman
@TechReports{AI-TR-802,
	title = "Planning for Conjunctive Goals",
	author = "David Chapman",
	year = "Nov,1985",
	volume = "AI-TR-802",
	institution = "MIT AI Lab."
}

A Circuit Grammar For Operational Amplifier Design, Andrew Lewis Ressler
@TechReports{AI-TR-807,
	title = "A Circuit Grammar For Operational Amplifier Design",
	author = "Andrew Lewis Ressler",
	year = "Jan,1984",
	volume = "AI-TR-807",
	institution = "MIT AI Lab."
}

On Motion Planning with Uncertainty, Michael Andreas Erdmann
@TechReports{AI-TR-810,
	title = "On Motion Planning with Uncertainty",
	author = "Michael Andreas Erdmann",
        note ="(memorandam)",
	year = "1982",
	volume = "AI-TR-810",
	institution = "MIT AI Lab."
}

TEMPEST: A Template Editor for Structured Text, Peter J. Sterpe
@TechReports{AI-TR-843,
	title = "TEMPEST: A Template Editor for Structured Text",
	author = "Peter J. Sterpe",
	year = "Jun,1985",
	volume = "AI-TR-843",
	institution = "MIT AI Lab."
}

Learning Shape Descriptions:Generating and Generalizing Models of Visual Objects, Jonathan Hudson Connell
@TechReports{AI-TR-853,
	title = "Learning Shape Descriptions:Generating and Generalizing Models of Visual Objects",
	author = "Jonathan Hudson Connell",
	year = "Sep,1985",
	volume = "AI-TR-853",
	institution = "MIT AI Lab."
}

Redundant Sensors for Mobile Robot Navigation, Anita M. Flynn
@TechReports{AI-TR-859,
	title = "Redundant Sensors for Mobile Robot Navigation",
	author = "Anita M. Flynn",
	year = "Sep,1985",
	volume = "AI-TR-859",
	institution = "MIT AI Lab."
}

Probabilistic Solution of Inverse Problems, Jose Luis Marroquin
@TechReports{AI-TR-860,
	title = "Probabilistic Solution of Inverse Problems",
	author = "Jose Luis Marroquin",
	year = "Sep,1985",
	volume = "AI-TR-860",
	institution = "MIT AI Lab."
}

BUILD: A Tool for Maintaining Consistency in Modular Systems, Richard Elliot Robbins
@TechReports{AI-TR-874,
	title = "BUILD: A Tool for  Maintaining Consistency in Modular Systems",
	author = "Richard Elliot Robbins",
	year = "Nov,1985",
	volume = "AI-TR-874",
	institution = "MIT AI Lab."
}

Learning by Failing to Explain, Robert Joseph Hall
@TechReports{AI-TR-906,
	title = "Learning by Failing to Explain",
	author = "Robert Joseph Hall",
	year = "May,1986",
	volume = "AI-TR-906",
	institution = "MIT AI Lab."
}

The Design of Shape from Motion Constraints, Michael E. Caine
@TechReports{AI-TR-1425,
	title = "The Design of Shape from Motion Constraints",
	author = "Michael E. Caine",
	year = "Sep,1993",
	volume = "AI-TR-1425",
	institution = "MIT AI Lab."
}

AN INVESTIGATION OF CURRENT LANGUAGE SUPPORT FOR THE DATA REQUIREMENTS OF STRUCTURED PROGRAMMING, Jack M. Aiello
@TechReports{MAC-TM-51,
	title = "AN INVESTIGATION OF CURRENT LANGUAGE SUPPORT FOR THE DATA REQUIREMENTS OF STRUCTURED PROGRAMMING",
	author = "Jack M. Aiello",
	year = "Sep,1974",
	volume = "MAC-TR-51",
	institution = "MIT AI Lab."
}

ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGE, JACK B.DENNES
@TechReports{MAC-TR-101,
	title = "ON THE DESIGN AND SPECIFICATION OF A COMMON BASE LANGUAGE",
	author = "JACK B.DENNES",
	year = "Jun,1972",
	volume = "MAC-TR-101",
	institution = "MIT AI Lab."
}

MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORY, Mitchell Wand
@TechReports{MAC-TR-108,
	title = "MATHEMATICAL FOUNDATIONS OF FORMAL LANGUAGE THEORY",
	author = "Mitchell Wand",
	year = "Dec,1973",
	volume = "MAC-TR-108",
	institution = "MIT AI Lab."
}

NEAR-OPTIMAL BIN PACKING ALGORITHMS, David S. Johnson
@TechReports{MAC-TR-109,
	title = "NEAR-OPTIMAL BIN PACKING ALGORITHMS",
	author = "David S. Johnson",
	year = "Jun,1973",
	volume = "MAC-TR-109",
	institution = "MIT AI Lab."
}

PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATA, John P. Linderman
@TechReports{MAC-TR-111,
	title = "PRODUCTIVITY IN PARALLEL COMPUTATION SCHEMATA",
	author = "John P. Linderman",
	year = "Dec,1973",
	volume = "MAC-TR-111",
	institution = "MIT AI Lab."
}

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY PETRI NETS, Chander Ramchandani
@TechReports{MAC-TR-120,
	title = "ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY PETRI NETS",
	author = "Chander Ramchandani",
	year = "Feb,1974",
	volume = "MAC-TR-120",
	institution = "MIT AI Lab."
}

A LANGUAGE IMPLEMENTATION SYSTEM, Vernon E. Altman
@TechReports{MAC-TR-126,
	title = "A LANGUAGE IMPLEMENTATION SYSTEM",
	author = "Vernon E. Altman",
	year = "May,1974",
	volume = "MAC-TR-126",
	institution = "MIT AI Lab."
}

USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOM, Richard W.Weissberg
@TechReports{MAC-TR-129,
	title = "USING INTERACTIVE GRAPHICS IN SIMULATING THE HOSPITAL EMERGENCY ROOM",
	author = "Richard W.Weissberg",
	year = "May,1974",
	volume = "MAC-TR-129",
	institution = "MIT AI Lab."
}

ANALYSIS OF ALGORITHM IMPLEMENTATIONS, Gregory R. Ruth
@TechReports{MAC-TR-130,
	title = "ANALYSIS OF ALGORITHM IMPLEMENTATIONS",
	author = "Gregory R. Ruth",
	year = "May,1974",
	volume = "MAC-TR-130",
	institution = "MIT AI Lab."
}

MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS, Michael Levin
@TechReports{MAC-TR-131,
	title = "MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS",
	author = "Michael Levin",
	year = "Jun,1974",
	volume = "MAC-TR-131",
	institution = "MIT AI Lab."
}

THE COMPUTER CONTROL OF CHANGING PICTURES, Gregory F. Pfister
@TechReports{MAC-TR-135,
	title = "THE COMPUTER CONTROL OF CHANGING PICTURES",
	author = "Gregory F. Pfister",
	year = "Sep,1974",
	volume = "MAC-TR-135",
	institution = "MIT AI Lab."
}

NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES, Joel I. Seiferas
@TechReports{MAC-TR-137,
	title = "NONDETERMINISTIC TIME AND SPACE COMPLEXITY CLASSES",
	author = "Joel I. Seiferas",
	year = "Sep,1974",
	volume = "MAC-TR-137",
	institution = "MIT AI Lab."
}

NAMING AND PROTECTION IN EXTENDIBLE OPERATING SYSTEMS, David D.Redell
@TechReports{MAC-TR-140,
	title = "NAMING AND PROTECTION IN EXTENDIBLE OPERATING SYSTEMS",
	author = "David D.Redell",
	year = "Nov,1974",
	volume = "MAC-TR-140",
	institution = "MIT AI Lab."
}

THE BCPL REFERENCE MANUAL, Martin Richards Arthur Evans, Jr. Robert F. Mabee
@TechReports{MAC-TR-141,
	title = "THE BCPL REFERENCE MANUAL",
	author = "Martin Richards Arthur Evans, Jr. Robert F. Mabee",
	year = "Dec,1974",
	volume = "MAC-TR-141",
	institution = "MIT AI Lab."
}

A Digitalis Therapy Advisor, Howard Silverman
@TechReports{MAC-TR-143,
	title = "A Digitalis Therapy Advisor",
	author = "Howard Silverman",
	year = "Jan,1975",
	volume = "MAC-TR-143",
	institution = "MIT AI Lab."
}

THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMS, D. Austin, Henderson, Jr.
@TechReports{MAC-TR-145,
	title = "THE BINDING MODEL: A SEMANTIC BASE FOR MODULAR PROGRAMMING SYSTEMS",
	author = "D. Austin, Henderson, Jr.",
	year = "Feb,1975",
	volume = "MAC-TR-145",
	institution = "MIT AI Lab."
}

A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM, Michael Lee Van De Vanter
@TechReports{MAC-TR-147,
	title = "A FORMALIZATION AND CORRECTNESS PROOF OF THE CGOL LANGUAGE SYSTEM",
	author = "Michael Lee Van De Vanter",
	year = "Mar,1975",
	volume = "MAC-TR-147",
	institution = "MIT AI Lab."
}

A PORTABLE COMPILER FOR THE LANGUAGE C, Alan Snyder
@TechReports{MAC-TR-149,
	title = "A PORTABLE COMPILER FOR THE LANGUAGE C",
	author = "Alan Snyder",
	year = "May,1975",
	volume = "MAC-TR-149",
	institution = "MIT AI Lab."
}

A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMS, James E. Rumbaugh
@TechReports{MAC-TR-150,
	title = "A PARALLEL ASYNCHRONOUS COMPUTER ARCHITECTURE FOR DATA FLOW PROGRAMS",
	author = "James E. Rumbaugh",
	year = "May,1975",
	volume = "MAC-TR-150",
	institution = "MIT AI Lab."
}

AUTOMATIC TEST,CONFIGURATION,AND REPAIR OF CELLILAR ARRAYS, Frank B. Manning
@TechReports{MAC-TR-151,
	title = "AUTOMATIC TEST,CONFIGURATION,AND REPAIR OF CELLILAR ARRAYS",
	author = "Frank B. Manning",
	year = "Jun,1975",
	volume = "MAC-TR-151",
	institution = "MIT AI Lab."
}

STRATEGY SELECTION IN MEDICAL DIAGNOSIS, Peter B. Miller
@TechReports{MAC-TR-153,
	title = "STRATEGY SELECTION IN MEDICAL DIAGNOSIS",
	author = "Peter B. Miller",
	year = "Sep,1975",
	volume = "MAC-TR-153",
	institution = "MIT AI Lab."
}

SEMANTICS OF COMMUNICATING PARALLEL PROCESSES, Irene Greif
@TechReports{MAC-TR-154,
	title = "SEMANTICS OF COMMUNICATING PARALLEL PROCESSES",
	author = "Irene Greif",
	year = "Sep,1975",
	volume = "MAC-TR-154",
	institution = "MIT AI Lab."
}

MECHANIZATION OF TENPORAL KNOWLEDGE, Kenneth M. Kahn
@TechReports{MAC-TR-155,
	title = "MECHANIZATION OF TENPORAL KNOWLEDGE",
	author = "Kenneth M. Kahn",
	year = "Sep,1975",
	volume = "MAC-TR-155",
	institution = "MIT AI Lab."
}

A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSIS, Jeffrey A. Meldman
@TechReports{MAC-TR-157,
	title = "A PRELIMINARY STUDY IN COMPUTER-AIDED LEGAL ANALYSIS",
	author = "Jeffrey A. Meldman",
	year = "Nov,1975",
	volume = "MAC-TR-157",
	institution = "MIT AI Lab."
}

SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS, RICHARD W. GROSSMAN
@TechReports{MAC-TR-158,
	title = "SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS",
	author = "RICHARD W. GROSSMAN",
	year = "Feb,1976",
	volume = "MAC-TR-158",
	institution = "MIT AI Lab."
}

COORDINATION OF ASYNCHRONOUS EVENTS, Suhas Shrikrishna Patil
@TechReports{MAC-TR-72,
	title = "COORDINATION OF ASYNCHRONOUS EVENTS",
	author = "Suhas Shrikrishna Patil",
	year = "Jun,1970",
	volume = "MAC-TR-72",
	institution = "MIT AI Lab."
}

DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSYTEMS, Prakash G. Hebalkar
@TechReports{MAC-TR-75,
	title = "DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSYTEMS",
	author = "Prakash G. Hebalkar",
	year = "Sep,1970",
	volume = "MAC-TR-75",
	institution = "MIT AI Lab."
}

AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION, Perry L. Miller
@TechReports{MAC-TR-85,
	title = "AUTOMATIC CREATION OF A CODE GENERATOR FROM A MACHINE DESCRIPTION",
	author = "Perry L. Miller",
	year = "May,1971",
	volume = "MAC-TR-85",
	institution = "MIT AI Lab."
}

A MODEL FOR PROCESS PEPRESENTATION AND SYNTHESIS, Robert H. Thomas
@TechReports{MAC-TR-87,
	title = "A MODEL FOR PROCESS PEPRESENTATION AND SYNTHESIS",
	author = "Robert H. Thomas",
	year = "Jun,1971",
	volume = "MAC-TR-87",
	institution = "MIT AI Lab."
}

ESSAYS IN ALGEBRAIC SIMPLIFICATION, RICHARD J. FATEMAN
@TechReports{MAC-TR-95,
	title = "ESSAYS IN ALGEBRAIC SIMPLIFICATION",
	author = "RICHARD J. FATEMAN",
	year = "Apr,1972",
	volume = "MAC-TR-95",
	institution = "MIT AI Lab."
}

MACSYMA REFERENCE MANUAL, THE MAHTLAB GROUP MIT LABORATORY FOR COMPUTER SCIENCE
@TechReports{MAC,
	title = "MACSYMA REFERENCE MANUAL",
	author = "THE MAHTLAB GROUP MIT LABORATORY FOR COMPUTER SCIENCE",
	year = "Nov,1975",
	volume = "MAC",
	institution = "MIT AI Lab."
}

MACSYMA Primer, Mathlab Group
@TechReports{MAC,
	title = "MACSYMA Primer",
	author = "Mathlab Group",
	year = "Sep,1977",
	volume = "MAC",
	institution = "MIT AI Lab."
}

An Introduction to ITS for the MACSYMA User, Mathlab Group
@TechReports{MAC,
	title = "An Introduction to ITS for the MACSYMA User",
	author = "Mathlab Group",
	year = "Sep,1977",
	volume = "MAC",
	institution = "MIT AI Lab."
}

MACLISP REFERENCE MANUAL, David A. Moon
@TechReports{MAC-M.I.T.,
	title = "MACLISP REFERENCE MANUAL",
	author = "David A. Moon",
	year = "Apr,1974",
	volume = "MAC-M.I.T.",
	institution = "MIT AI Lab."
}

THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS, NIKHIL MALVANIA
@TechReports{MIT-LCS-TM-74,
	title = "THE DESIGN OF A MODULAR LABORATORY FOR CONTROL ROBOTICS",
	author = "NIKHIL MALVANIA",
	year = "Sep,1976",
	volume = "MIT-LCS-TM-74",
	institution = "MIT AI Lab."
}

TASK SCHEDULING IN THE CONTROL ROBOTICS ENVIRONMENT, ALOYSIUS KA-LAU MOK
@TechReports{MIT-LCS-TM-77,
	title = "TASK SCHEDULING IN THE CONTROL ROBOTICS ENVIRONMENT",
	author = "ALOYSIUS KA-LAU MOK",
	year = "Sep,1976",
	volume = "MIT-LCS-TM-77",
	institution = "MIT AI Lab."
}

PROCESSOR MULTIPLEXING IN A LAYERED OPERATING SYSTEM, DAVID P. REED
@TechReports{MIT-LCS-TR-164,
	title = "PROCESSOR MULTIPLEXING IN A LAYERED OPERATING SYSTEM",
	author = "DAVID P. REED",
	year = "Jun,1976",
	volume = "MIT-LCS-TR-164",
	institution = "MIT AI Lab."
}

SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC, Vaughan R. Pratt
@TechReports{MIT-LCS-TR-168,
	title = "SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC",
	author = "Vaughan R. Pratt",
	year = "Sep,1976",
	volume = "MIT-LCS-TR-168",
	institution = "MIT AI Lab."
}

DIAGNOSTIC PLANNING AND CANCER MANAGEMENT, Charles Safran Jane F. Desforges Philip N. Tsichlis
@TechReports{MIT-LCS-TR-169,
	title = "DIAGNOSTIC PLANNING AND CANCER MANAGEMENT",
	author = "Charles Safran Jane F. Desforges Philip N. Tsichlis",
	year = "Sep,1976",
	volume = "MIT-LCS-TR-169",
	institution = "MIT AI Lab."
}

THE REFORMULATION MODEL OF EXPERTISE, William S. Mark
@TechReports{MIT-LCS-TR-172,
	title = "THE REFORMULATION MODEL OF EXPERTISE",
	author = "William S. Mark",
	year = "Dec,1976",
	volume = "MIT-LCS-TR-172",
	institution = "MIT AI Lab."
}

COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATION, Nathan Goodman
@TechReports{MIT-LCS-TR-173,
	title = "COORDINATION OF PARALLEL PROCESSES IN THE ACTOR MODEL OF COMPUTATION",
	author = "Nathan Goodman",
	year = "Dec,1976",
	volume = "MIT-LCS-TR-173",
	institution = "MIT AI Lab."
}

A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENT, Harold J. Goldberg
@TechReports{MIT-LCS-TR-175,
	title = "A ROBUST ENVIRONMENT FOR PROGRAM DEVELOPMENT",
	author = "Harold J. Goldberg",
	year = "Feb,1977",
	volume = "MIT-LCS-TR-175",
	institution = "MIT AI Lab."
}

A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS, William R. Swartout
@TechReports{MIT-LCS-TR-176,
	title = "A DIGITALIS THERAPY ADVISOR WITH EXPLANATIONS",
	author = "William R. Swartout",
	year = "Feb,1977",
	volume = "MIT-LCS-TR-176",
	institution = "MIT AI Lab."
}

A LAYERED VIRTUAL MEMORY MANAGER, Andrew H. Mason
@TechReports{MIT-LCS-TR-177,
	title = "A LAYERED VIRTUAL MEMORY MANAGER",
	author = "Andrew H. Mason",
	year = "May,1977",
	volume = "MIT-LCS-TR-177",
	institution = "MIT AI Lab."
}

COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTION, Peter B. Bishop
@TechReports{MIT-LCS-TR-178,
	title = "COMPUTER SYSTEMS WITH A VERY LARGE ADDRESS SPACE AND GARBAGE COLLECTION",
	author = "Peter B. Bishop",
	year = "May,1977",
	volume = "MIT-LCS-TR-178",
	institution = "MIT AI Lab."
}

NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS, Paul A. Karger
@TechReports{MIT-LCS-TR-179,
	title = "NON-DISCRETIONARY ACCESS CONTROL FOR DECENTRALIZED COMPUTING SYSTEMS",
	author = "Paul A. Karger",
	year = "May,1977",
	volume = "MIT-LCS-TR-179",
	institution = "MIT AI Lab."
}

A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISM, Allen W. Luniewski
@TechReports{MIT-LCS-TR-180,
	title = "A SIMPLE AND FLEXIBLE SYSTEM INITIALIZATION MECHANISM",
	author = "Allen W. Luniewski",
	year = "May,1977",
	volume = "MIT-LCS-TR-180",
	institution = "MIT AI Lab."
}

THE COMPLEXITY OF THE FINITE CONTAINMENT PROBLEM FOR PETRI NETS, Ernst W. Mayr
@TechReports{MIT-LCS-TR-181,
	title = "THE COMPLEXITY OF THE FINITE CONTAINMENT PROBLEM FOR PETRI NETS",
	author = "Ernst W. Mayr",
	year = "Jun,1977",
	volume = "MIT-LCS-TR-181",
	institution = "MIT AI Lab."
}

THE MAX FLOW ALGORITHM OF DINIC AND KARZANOV: AN EXPOSITION, SHIMON EVEN
@TechReports{MIT-LCS-TR-80,
	title = "THE MAX FLOW ALGORITHM OF DINIC AND KARZANOV: AN EXPOSITION",
	author = "SHIMON EVEN",
	year = "Dec,1976",
	volume = "MIT-LCS-TR-80",
	institution = "MIT AI Lab."
}

GENERAL METHODS TO ENABLE ROBOTS WITH VISION TO ACQUIRE ORIENT AND TRANSPORT WORKPIECES, J.BIRK,R.KELLEY,L.WILSON, V.BADAMI,T.BROWNELL, N.CHEN,D.DUNCAN,J.HALL, H.MARTINS,R.SILVA AND R.TELLA
@TechReports{GRANTAPR74-13935,
	title = "GENERAL METHODS TO ENABLE ROBOTS WITH VISION TO ACQUIRE ORIENT AND TRANSPORT WORKPIECES",
	author = "J.BIRK,R.KELLEY,L.WILSON, V.BADAMI,T.BROWNELL, N.CHEN,D.DUNCAN,J.HALL, H.MARTINS,R.SILVA AND R.TELLA",
	year = "Aug,1977-Jul,1978",
	volume = "GRANT APR74-13935",
	institution = "MIT AI Lab."
}

STUDY OF EQUIPMENT NEEDS FOR ARTIFICIAL INTELLIGENCE RESEARCH, N.J.NILSSON, H. BARROW, L. COLES,G. GLEASON, B. MEYER, and D. NITZAN
@TechReports{SRIProjedt2308,
	title = "STUDY OF EQUIPMENT NEEDS FOR ARTIFICIAL INTELLIGENCE RESEARCH",
	author = "N.J.NILSSON, H. BARROW, L. COLES,G. GLEASON, B. MEYER, and D. NITZAN",
	year = "Jun,1973",
	volume = "SRI Projedt 2308",
	institution = "MIT AI Lab."
}

Natural language input for a computer problem solving system, D.G. Bobrow
@TechReport{mit-ai-tr-219,
  author = 	 "D.G. Bobrow",
  title = 	 "Natural language input for a computer problem
		  solving system",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1964,
  note =         "Thesis, AD 604 730"
}

SIR: a computer program for semantic information retrieval, B. Raphael
@TechReport{mit-ai-tr-220,
  author = 	 "B. Raphael",
  title = 	 "SIR: a computer program for semantic information retrieval",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1964,
  note =         "Thesis, AD 608 499"
}

PILOT: a step toward man-computer symbiosis, W. Teitelman
@TechReport{mit-ai-tr-221,
  author = 	 "W. Teitelman",
  title = 	 "PILOT: a step toward man-computer symbiosis",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1966,
  note =         "Thesis, AD 638 446"
}

ADEPT: a heuristic program for proving theorems of group theory, L.M. Norton
@TechReport{mit-ai-tr-222,
  author = 	 "L.M. Norton",
  title = 	 "ADEPT: a heuristic program for proving theorems of
		  group theory",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1966,
  note =	 "Thesis, AD 645 660"
}

Symbolic Mathematical Laboratory, S.A. Martin
@TechReport{mit-ai-tr-223,
  author = 	 "S.A. Martin",
  title = 	 "Symbolic Mathematical Laboratory",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1967,
  note =	 "Thesis, AD 657 283"
}

Some aspects of pattern recognition by computer, A. Guzman-Arenas
@TechReport{mit-ai-tr-224,
  author = 	 "A. Guzman-Arenas",
  title = 	 "Some aspects of pattern recognition by computer",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1967,
  note =	 "Thesis, AD 656 041"
}

Syntax-based analytic reading of musical scores, A. Forte
@TechReport{mit-ai-tr-225,
  author = 	 "A. Forte",
  title = 	 "Syntax-based analytic reading of musical scores",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1967
}

Symbolic Integration, J. Moses
@TechReport{mit-ai-tr-226,
  author = 	 "J. Moses",
  title = 	 "Symbolic Integration",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1967,
  note =	 "Thesis"
}

CARPS, a program which solves calculus word problems, E. Charniak
@TechReport{mit-ai-tr-227,
  author = 	 "E. Charniak",
  title = 	 "CARPS, a program which solves calculus word problems",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1968,
  note =	 "Thesis"
}

Computer recognition of three-dimensional objects in a visual scene, A. Guzman-Arenas
@TechReport{mit-ai-tr-228,
  author = 	 "A. Guzman-Arenas",
  title = 	 "Computer recognition of three-dimensional objects in
		  a visual scene",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1968,
  note =	 "Thesis"
}

Recognition of topological invariants by iterative arrays, W.T. Beyer
@TechReport{mit-ai-tr-229,
  author = 	 "W.T. Beyer",
  title = 	 "Recognition of topological invariants by iterative arrays",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1969,
  note =	 "Thesis, AD 699 502"
}

Shape from shading: a method for obtaining the shape of a smooth opaque object from one view, B.K.P.Horn
@TechReport{mit-ai-tr-232,
  author = 	 "B.K.P.Horn",
  title = 	 "Shape from shading: a method for obtaining the
		  shape of a smooth opaque object from one view",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1970,
  note =	 "Thesis"
}

Information processing and transmission in cellular automata, E.R. Banks
@TechReport{mit-ai-tr-233,
  author = 	 "E.R. Banks",
  title = 	 "Information processing and transmission 
                  in cellular automata",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1971,
  note =	 "Thesis"
}

Computer analysis of visual properties of curved objects, L.J. Krakauer
@TechReport{mit-ai-tr-234,
  author = 	 "L.J. Krakauer",
  title = 	 "Computer analysis of visual properties of curved objects",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1971,
  note =	 "Thesis"
}

Procedures as a representation for data in a computer program for understanding natural language, T. Winograd
@TechReport{mit-ai-tr-235,
  author = 	 "T. Winograd",
  title = 	 "Procedures as a representation for data in a computer
		  program for understanding natural language",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1971,
  note =	 "Thesis"
}

A computer model of simple forms of learning, T.L. Jones
@TechReport{mit-ai-tr-236,
  author = 	 "T.L. Jones",
  title = 	 "A computer model of simple forms of learning",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1971,
  note =	 "Thesis, AD 720 337"
}

A parallel processing model of musical structures, S.W. Smoliar
@TechReport{mit-ai-tr-242,
  author = 	 "S.W. Smoliar",
  title = 	 "A parallel processing model of musical structures",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1971,
  note =	 "Thesis"
}

Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot, C. Hewitt
@TechReport{mit-ai-tr-258,
  author = 	 "C. Hewitt",
  title = 	 "Description and theoretical analysis (using
		  schemata) of planner: a language for proving
		  theorems and manipulating models in a robot",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1972,
  note =	 "Thesis"
}

Toward a model of children's story comprehension, E. Charniak
@TechReport{mit-ai-tr-266,
  author = 	 "E. Charniak",
  title = 	 "Toward a model of children's story comprehension",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1972,
  note =	 "Thesis, AD 755 232"
}

Generating semantic descriptions from drawings of scenes with shadows, D.L. Waltz
@TechReport{mit-ai-tr-271,
  author = 	 "D.L. Waltz",
  title = 	 "Generating semantic descriptions from drawings of
		  scenes with shadows",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1972,
  note =	 "Thesis, AD 754 080"
}

Flexibility and efficiency in a computer program for designing circuits, Drew Vincent McDermott
@TechReport{mit-ai-tr-402,
  author = 	 "Drew Vincent McDermott",
  title = 	 "Flexibility and efficiency in a computer program for
		  designing circuits",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1977,
  note =	 "Thesis"
}

Truth maintenance systems for problem solving, Jon Doyle
@TechReport{mit-ai-tr-419,
  author = 	 "Jon Doyle",
  title = 	 "Truth maintenance systems for problem solving",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1978,
  note =	 "Thesis"
}

Automatic analysis of the logical structure of programs, Richard C. Waters
@TechReport{mit-ai-tr-492,
  author = 	 "Richard C. Waters",
  title = 	 "Automatic analysis of the logical structure of programs",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1978,
  note =	 "Thesis"
}

Dependency directed reasoning for complex program understanding, Howard E. Shrobe
@TechReport{mit-ai-tr-503,
  author = 	 "Howard E. Shrobe",
  title = 	 "Dependency directed reasoning for complex 
                  program understanding",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1979,
  note =	 "Thesis"
}

Reasoning modeled as a society of communicating experts, Luc Steels
@TechReport{mit-ai-tr-542,
  author = 	 "Luc Steels",
  title = 	 "Reasoning modeled as a society of communicating experts",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1979
}

The use of equality in deduction and knowledge representation, David Allen McAllester
@TechReport{mit-ai-tr-550,
  author = 	 "David Allen McAllester",
  title = 	 "The use of equality in deduction and 
                  knowledge representation",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1980,
  note =         "Thesis"
}

A model for deliberation, action, and introspection, Jon Doyle
@TechReport{mit-ai-tr-581,
  author = 	 "Jon Doyle",
  title = 	 "A model for deliberation, action, and introspection",
  institution =  "Massachusetts Institute of Technology",
  year = 	 1980,
  note =	 "Thesis"
}