A Justification based Truth Maintanence System
Primary LanguageC
Simple Justification based Truth Maintenance System