1. Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, proceedings / Alessandro Armando, Peter Baumgartner, Gilles... Author: IJCAR 2008 (4th :, 2008 : Sydney, Australia) Format: Book Language: English Published: 2008