Peter Koepke, Marc van Eijmeren. A refinement of Jensen's constructible hierarchy. In Benedikt Löwe, Boris Piwinger, Thoralf Räsch, editors, Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. Volume 23 of Trends in Logic, pages 159-169, Springer, 2001. [doi]
Abstract is missing.