Title: Truth Maintenance Systems: Ecai-90 Workshop, Stockholm, Sweden, Aug 6, 1990