Bentuk umum diena Danishefsky, Brassard, dan Rawal