Gunter Fuchs, Ralf Schindler: The Solidity and Nonsolidity of initial Segments of the Core Model. J. Symb. Log. 83(3): 920-938 (2018)