name the tv shows whose developer is david mandel and executive producer is kevin smith ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_developer dbr_David_Mandel sep_dot var_uri dbo_executiveProducer dbr_Kevin_Smith sep_dot var_uri a dbo_TelevisionShow brack_close