Towards the Efficient Generation of Gray Codes in the Bitprobe Model