Xref: utzoo comp.lang.lisp:3555 comp.ai:7479 comp.lang.lisp.franz:8
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!yale!cmcl2!rnd!hjohar
From: hjohar@rnd.GBA.NYU.EDU (Hardeep Johar)
Newsgroups: comp.lang.lisp,comp.ai,comp.lang.lisp.franz
Subject: WANTED: Justification Based Truth Maintenance System.
Keywords: TMS, LISP
Message-ID: <4972@rnd.GBA.NYU.EDU>
Date: 29 Aug 90 15:31:18 GMT
Followup-To: posterposter
Organization: NYU Stern School of Business
Lines: 8

I need a copy of a justification based truth maintenance system that
runs on either franz lisp or common lisp (franz preferred). Please
reply to hjohar@rnd.gba.nyu.edu if you can send a copy of one, or if 
you know of an ftp site that has one.

Thanks.

Hardeep