Establishment of a gene-trap sequence tag library to generate mutant mice from embryonic stem cells | doi.page