Lower bounds on the existence of binary error-correcting variable-length codes | IEEE Conference Publication | IEEE Xplore