"The covering lemma for L[U]."

A. J. Dodd, R. B. Jensen (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics