Lecture notes in artifical intelligence truth maintenance systems - Hartmanis, J. (Berlin Springer-Verlag, 1984)