Towards a clausal analysis of cut-elimination