Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Furbach,Ulrich; Shankar,Natarajan (Springer London, Limited)