Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings (2008)