Lin Yu;Daniel J. Rosenkrantz
SUNY at Albany, Albany, NY;SUNY at Albany, Albany, NY
A linear-time scheme for version reconstruction
ACM Transactions on Programming Languages and Systems (TOPLAS)