Fourth workshop on strategies in automated deduction: selected papers