A Deterministic Polynomial-Time Protocol for Synchronizing From Deletions | IEEE Journals & Magazine | IEEE Xplore