what is the scientist whose doctoral students are edmund m . clarke and edmund m . clarke ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_doctoralStudent dbr_Edmund_M._Clarke sep_dot var_uri dbo_doctoralStudent dbr_Edmund_M._Clarke brack_close