A Framework for Variation Discovery and Genotyping Using Next-Generation DNA Sequencing Data | AMiner