Building Problem Solvers, a great book on a number of AI concepts including Truth Maintenance Systems and etc (I understand it's the best book on that particular subject) is released as a gratis PDF. You can get it here!