Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!samsung!munnari.oz.au!metro!ipso!runxtsa!tom
From: tom@runxtsa.runx.oz.au (Thomas Antalffy)
Newsgroups: comp.ai
Subject: Pointer to MIT documents on truth maintenance please
Keywords: truth maintenance
Message-ID: <2205@runxtsa.runx.oz.au>
Date: 30 Aug 90 01:08:39 GMT
Organization: RUNX Unix Timeshare.  Sydney, Australia.
Lines: 12

Does anyone know how I could lay my hands on the following MIT research 
papers :

McAllester, D.A. "A Three-Valued Truth Maintenance System" MIT Lab Memo 473
	(1978).

McAllester, D.A. "The Use of Equality in Deduction and Knowledge Representation"
	MIT Dept of Electrical Engineering and Computer Science, M.S. Thesis
	(1979).

Thank you in advance,
Thomas.