@article {Schimmerling:28 July 1995:0168-0072:153,
	author = "Schimmerling E.",
	title = "Combinatorial principles in the core model for one Woodin cardinal",
	journal = "Annals of Pure and Applied Logic",
	volume = "74",
	year = "28 July 1995",
	abstract = "",
	pages = "153-201(49)",
	url = "http://www.ingentaconnect.com/content/els/01680072/1995/00000074/00000002/art00036"
	doi = "doi:10.1016/0168-0072(94)00036-3"
}