what is the scientist whose doctoral students are joseph halpern and larry stockmeyer ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_doctoralStudent dbr_Joseph_Halpern sep_dot var_uri dbo_doctoralStudent dbr_Larry_Stockmeyer brack_close