"Downward Transference of mice and Universality of Local Core Models."

Andrés Eduardo Caicedo, Martin Zeman (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics