Gerald J Sussman -- 'We really don't know how to compute" lecture outlinks

Truth Maintenance Systems for Problem Solving:
http://dspace.mit.edu/handle/1721.1/6926

Building Problem Solvers (Artificial Intelligence) [Hardcover]:
http://goo.gl/kfBB6

Truth maintenance systems (Tutorial) [Unknown Binding]:
http://goo.gl/nRESM
Truth Maintenance Systems: Tutorial Program [Paperback]:
http://goo.gl/HSNcf