Genetic analysis of Pten and Ink4a/Arf interactions in the suppression of tumorigenesis in mice | Synapse