hjohar@rnd.GBA.NYU.EDU (Hardeep Johar) (08/29/90)
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