Jenny.Rowland@levels.sait.edu.au (04/11/91)
Please reply to the address below: --------------------------------- I'm interested in Assumptional Truth Maintenance System (ATMS) shells that might be available. I dont want something like KEE with all the overhead of object and production system stuff. Are there any shells which just do ATMS, preferably with C bindings and running under Unix. Steve Garlick steveg@venus.crl.bhp.com.au