Mehlhorn, K., Näher, S., & Rauch, M. (1990). On the Complexity of a Game Related to the Dictionary Problem. SIAM Journal on Computing, 19(5), 902-906. doi:10.1137/0219062.