Automated Reasoning - Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney