Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings - Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles (Springer Berlin Heidelberg, 2008)