Synchronization from insertions and deletions under a non-binary, non-uniform source | IEEE Conference Publication | IEEE Xplore