"The covering lemma for K."

Tony Dodd, Ronald Jensen (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics