On the termination of Russell's description elimination algorithm

In this paper we study the termination behaviour of Russell's de- scription elimination rewrite system. We discuss certain claims made by Saul Kripke in his paper "Russell's Notion of Scope" (Mind, 114:1005-1037, 2005).