Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings - Furbach, Ulrich; Shankar, N. (Lecture notes in computer science, 2006)