Truth Maintenance Systems, ECAI 1990 Workshop: Stockholm, Sweden

maintained by Schloss Dagstuhl LZI at University of Trier