Efficient interactive algorithms for file synchronization under general edits | IEEE Conference Publication | IEEE Xplore