This author has not been identified. Look up 'Ronald Fagin' in GoogleThis author has not been identified. Look up 'Joseph Y. Halpern' in GoogleThis author has not been identified. Look up 'Yoram Moses' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google