T-resolution: refinements and model elimination